Model checking for Process Rewrite Systems and a class of action-based regular properties / Bozzelli, L.. - 3385:(2005), pp. 282-297. (Intervento presentato al convegno 6th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005)) [10.1007/978-3-540-30579-8_19].

Model checking for Process Rewrite Systems and a class of action-based regular properties

Bozzelli L.
2005

2005
9783540242970
9783540305798
Model checking for Process Rewrite Systems and a class of action-based regular properties / Bozzelli, L.. - 3385:(2005), pp. 282-297. (Intervento presentato al convegno 6th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005)) [10.1007/978-3-540-30579-8_19].
File in questo prodotto:
File Dimensione Formato  
VMCAI2005.pdf

solo utenti autorizzati

Licenza: Copyright dell'editore
Dimensione 267.37 kB
Formato Adobe PDF
267.37 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11588/955791
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact