Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Srba/05"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Timed-arc Petri nets vs. networks of timed automata Publikation auswählen
Jiȓí Srba

Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)
Lecture Notes in Computer Science 3536 , 2005, pp. 385-402

Editors  Gianfranco Ciardo, Philippe Darondeau
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/11494744_22