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="Kohler-Rolke/05"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Reference and value semantics are equivalent for ordinary object Petri nets Publikation auswählen
Michael Köhler, Heiko Rölke

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. 309-328

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