Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1221563998
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1221563998 |
Art des Inhalts | Hochschulschrift |
Titel | Model checking hybrid Petri nets with multiple general transition firings / vorgelegt von Jannik Hüls |
Person(en) | Hüls, Jannik (Verfasser) |
Verlag | Münster |
Zeitliche Einordnung | Erscheinungsdatum: 2020 |
Umfang/Format | 216 Seiten : Illustrationen ; 24 cm |
Hochschulschrift | Dissertation, Westfälische Wilhelms-Universität Münster, 2020, Nicht für den Austausch |
ISBN/Einband/Preis | Broschur |
Sprache(n) | Englisch (eng) |
Beziehungen | Wissen.leben |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2020 A 75377
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2021 A 355
Bereitstellung in Leipzig |
