 |
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="Pastor-Roig-Cortadella-Badia/94" |
|
Petri net analysis using Boolean manipulation
Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia
Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)
Lecture Notes in Computer Science
815
, 1994, pp. 416-435
| Editors | Robert Valette | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
|
|
|
|