Titlebar

Bibliographische Daten exportieren
Literatur vom gleichen Autor
plus im Publikationsserver
plus bei Google Scholar

Lesezeichen anlegen
 

Szenario-basierte Verifikation und Synthese von Petrinetzen: Theorie und Anwendungen

Titelangaben

Verfügbarkeit überprüfen

Lorenz, Robert:
Szenario-basierte Verifikation und Synthese von Petrinetzen: Theorie und Anwendungen.
2006
(Habilitation, 2006, Katholische Universität Eichstätt-Ingolstadt)

Weitere Angaben

Publikationsform:Hochschulschrift (Habilitation)
Institutionen der Universität:Mathematisch-Geographische Fakultät > Informatik > Lehrstuhl für Angewandte Informatik (bis 2010)
Mathematisch-Geographische Fakultät > Dissertationen / Habilitationen
Titel an der KU entstanden:Ja
Eingestellt am:11. Sep 2012 09:00
Letzte Änderung:21. Sep 2012 14:30
URL zu dieser Anzeige:http://edoc.ku-eichstaett.de/11772/