Efficient estimation of agent networks / Leguizamon-Robayo, A; Tschaikowski, M. - (2022), pp. 199-2014. ( Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ISoLA 2022 Rhodes, GR ) [10.1007/978-3-031-19759-8_13].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


