CRIS Current Research Information System

G. Delzanno, A. Sangnier, G. Zavattaro (2011). Parameterized Verification of Safety Properties in Ad Hoc Network Protocols [10.4204/EPTCS.60.4].

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

ZAVATTARO, GIANLUIGI
2011
2011
Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011
56
65
G. Delzanno, A. Sangnier, G. Zavattaro (2011). Parameterized Verification of Safety Properties in Ad Hoc Network Protocols [10.4204/EPTCS.60.4].
G. Delzanno; A. Sangnier; G. Zavattaro
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/120423
 Attenzione

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

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