- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Dissertation, 2024
- Keyword
-
Programmverifikation
Model Checking
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2024
- Creator
-
Nowack, Martin
- Contributor
-
Fetzer, Christof
Zeller, Andreas
- URN
-
urn:nbn:de:bsz:14-qucosa2-906658
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 AM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Nowack, Martin
- Fetzer, Christof
- Zeller, Andreas
- Technische Universität Dresden
Time of origin
- 2024