CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
English(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.
| 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.
Copyright © 2019