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 documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.