 |
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="Savi, Vanio M." |
|
Liveness and boundedness analysis for Petri nets with event graph modules
Vanio M. Savi, Xiaolan Xie
Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)
Lecture Notes in Computer Science
616
, 1992, pp. 328-347
| Editors | K. Jensen | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=328 | |
|
|
|
|