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
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.