 |
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="Penczek-Polrola/04" |
|
Specification and model checking of temporal properties in time Petri nets and timed automata
Wojciech Penczek, Agata Póƚrola
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. 37-76
| 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/5e7ww5f8x08771x7 | |
|
|
|
|