AsmetaSMV : a model checker for AsmetaL models. Tutorial / P. Arcaini, A. Gargantini, E. Riccobene. - Crema : Università degli studi di Milano, Polo didattico e di ricerca di Crema, 2009.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Tutorial_AsmetaSMV.pdf
accesso aperto
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
1.3 MB
Formato
Adobe PDF
|
1.3 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
