 |
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 
|
Hilfe 
|
 |
|
| Suche: Author="Colange, Maximilien" |
|
StrataGEM: A generic Petri net verification framework
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
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. 364-373
| Editors | Gianfranco Ciardo, Ekkart Kindler | |
| Publisher: | Springer International Publishing | |
| Address: | Switzerland | |
| URL: |
http://dx.doi.org/10.1007/978-3-319-07734-5_20 | |
|
|
|
|