 |
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="Reveliotis-Choi/06" |
|
Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions
Spyros A. Reveliotis, Jin Young Choi
Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)
Lecture Notes in Computer Science
4024
, 2006, pp. 322-341
| Editors | Susanna Donatelli, P.S. Thiagarajan | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/11767589_18 | |
|
|
|
|