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

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Heiner-Schwarick-Tovchigrechko/09"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

DSSZ-MC - A tool for symbolic analysis of extended Petri nets Publikation auswählen
Monika Heiner, Martin Schwarick, Alexej Tovchigrechko

Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)
Lecture Notes in Computer Science 5606 , 2009, pp. 323-332

Editors  Giuliana Franceschinis, Karsten Wolf
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/978-3-642-02424-5_20