Automatic Analysis of Hybrid Systems with the Murphi Verifier / DELLA PENNA, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; VENTURINI ZILLI, M.. - (2005). (Intervento presentato al convegno AICA 2005 tenutosi a Udine (IT) nel 5-7 October 2005).
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.