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

Automatic code generation method based on coloured Petri net models applied on an access control system Publikation auswählen
Kjeld H. Mortensen

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. 367-386

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_21