Treffer: Directed and Distributed Model Checking of B-Specifications
Titel:
Directed and Distributed Model Checking of B-Specifications / Jens Marco Bendisposto
Beteiligt:
Veröffentlicht:
Düsseldorf : Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2015
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Heinrich-Heine-Universität Düsseldorf, 2015
Schlagworte: