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 [1] Hilfe Hilfe
 
Suche: Author="Carstensen, Heino"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

The complexity of testing the equivalence of transition sequences Publikation auswählen
Heino Carstensen

Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)
Lecture Notes in Computer Science 524 , 1991, pp. 48-57

Editors  Grzegorz Rozenberg
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong
 
URL:   http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=48