 |
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: Citkey="Mateo-Srba-Sorensen/14" |
|
Soundness of timed-arc workflow nets
José Antonio Mateo, Jiȓí Srba, Mathias Grund Srensen
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. 51-70
| Editors | Gianfranco Ciardo, Ekkart Kindler | |
| Publisher: | Springer International Publishing | |
| Address: | Switzerland | |
| URL: |
http://dx.doi.org/10.1007/978-3-319-07734-5_4 | |
|
|
|
|