CRIS Current Research Information System

G. Delzanno, M. Gabbrielli (2005). Compositional Verification of Asynchronous Processes via Constraint Solving. HEIDELBERG : Springer-Verlag.

Compositional Verification of Asynchronous Processes via Constraint Solving

GABBRIELLI, MAURIZIO
2005
2005
Proceedings of ICALP 2005
1239
1250
G. Delzanno, M. Gabbrielli (2005). Compositional Verification of Asynchronous Processes via Constraint Solving. HEIDELBERG : Springer-Verlag.
G. Delzanno; M. Gabbrielli
4.01 Contributo in Atti di convegno
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/21483
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact