(Stochastic) Model Checking in GreatSPN / E. Amparore;M. Beccuti;S. Donatelli. - 8489:(2014), pp. 354-363. ((Intervento presentato al convegno 35th International Conference, PETRI NETS 2014 tenutosi a Tunisi, Tunisia nel 2014 [10.1007/978-3-319-07734-5_19].
Titolo: | (Stochastic) Model Checking in GreatSPN | |
Autori Riconosciuti: | ||
Autori: | E. Amparore;M. Beccuti;S. Donatelli | |
Data di pubblicazione: | 2014 | |
Editore: | Springer International Publishing | |
Titolo del libro: | Application and Theory of Petri Nets and Concurrency | |
Volume: | 8489 | |
Pagina iniziale: | 354 | |
Pagina finale: | 363 | |
Nome del convegno: | 35th International Conference, PETRI NETS 2014 | |
Luogo del convegno: | Tunisi, Tunisia | |
Anno del convegno: | 2014 | |
Digital Object Identifier (DOI): | 10.1007/978-3-319-07734-5_19 | |
URL: | http://dx.doi.org/10.1007/978-3-319-07734-5_19 | |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.