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="Christensen-Petrucci/95"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Modular state space analysis of coloured Petri nets Publikation auswählen
Sren Christensen, Laure Petrucci

Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)
Lecture Notes in Computer Science 935 , 1995, pp. 201-217

Editors  Giorgio de Michelis, Michel Diaz
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest