 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Amparore-Beccuti-Donatelli/14" |
|
(Stochastic) model checking in GreatSPN
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)
Lecture Notes in Computer Science
8489
, 2014, pp. 354-363
| Editors | Gianfranco Ciardo, Ekkart Kindler | |
| Publisher: | Springer International Publishing | |
| Address: | Switzerland | |
| URL: |
http://dx.doi.org/10.1007/978-3-319-07734-5_19 | |
|
|
|
|