Compositional Verification of Asynchronous Processes via Constraint Solving / G. Delzanno; M. Gabbrielli. - STAMPA. - LNCS 3580:(2005), pp. 1239-1250. (Intervento presentato al convegno ICALP tenutosi a Lisboa nel 2005).
Compositional Verification of Asynchronous Processes via Constraint Solving
GABBRIELLI, MAURIZIO
2005
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.