Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1122461615
Link zu diesem Datensatz | https://d-nb.info/1122461615 |
Art des Inhalts | Hochschulschrift |
Titel | Theory and Implementation of Software Bounded Model Checking / Florian Merz ; Betreuer: C. Sinz |
Person(en) |
Merz, Florian (Verfasser) Sinz, C. (Akademischer Betreuer) |
Verlag | Karlsruhe : KIT-Bibliothek |
Zeitliche Einordnung | Erscheinungsdatum: 2016 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016 |
Persistent Identifier | URN: urn:nbn:de:swb:90-638350 |
URL | http://digbib.ubka.uni-karlsruhe.de/volltexte/1000063835 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |