Anmelden

    Suche nach Personen

    plus im Publikationsserver
    plus bei BASE
    plus bei Google Scholar

    Daten exportieren

    		  

    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
    KU.edoc-ID:11772
    Eingestellt am: 11. Sep 2012 09:00
    Letzte Änderung: 21. Sep 2012 14:30
    URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/11772/
    AnalyticsGoogle Scholar