Model checking for process rewrite systems and a class of action-based regular properties / Bozzelli, L.. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 360:1-3(2006), pp. 352-372. [10.1016/j.tcs.2006.05.003]
Model checking for process rewrite systems and a class of action-based regular properties
Bozzelli L.
2006
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
TCS2006.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
371.15 kB
Formato
Adobe PDF
|
371.15 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.
