 |
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="Roux-Lime/04" |
|
Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
Olivier H. Roux, Didier Lime
Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)
Lecture Notes in Computer Science
3099
, 2004, pp. 371-390
| Editors | Jordi Cortadella, Wolfgang Reisig | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo | |
| URL: |
http://www.springerlink.com/content/qmwl13edahp82tn8 | |
|
|
|
|