 |
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="Alonso, Olga Marroqu{\'{i}}n" |
|
Decidability of properties of timed-arc Petri nets
David de Frutos Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso
Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)
Lecture Notes in Computer Science
1825
, 2000, pp. 187-206
| Editors | Mogens Nielsen, Dan Simpson | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo | |
| URL: |
http://dx.doi.org/10.1007/3-540-44988-4_12 | |
|
|
|
|