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 [3] Hilfe Hilfe
 
Suche: Author="He, Kevin X."
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Liveness verification of discrete event systems modeled by n-safe ordinary Petri nets Publikation auswählen
Kevin X. He, Michael D. Lemmon

Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)
Lecture Notes in Computer Science 1825 , 2000, pp. 227-243

Editors  Mogens Nielsen, Dan Simpson
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo
 
URL:   http://dx.doi.org/10.1007/3-540-44988-4_14