Handbook of Model Checking

Edmund M. Clarke (Herausgeber), Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Herausgeber)

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Buch/Bericht/Konferenzband › Buch (Autorenwerk) › Begutachtung

Originalsprache	englisch
Erscheinungsort	Cham
Verlag	Springer
Seitenumfang	1210
ISBN (Print)	978-3-319-10574-1
DOIs	https://doi.org/10.1007/978-3-319-10575-8
Publikationsstatus	Veröffentlicht - 2018

Zugriff auf Dokument

10.1007/978-3-319-10575-8

https://doi.org/10.1007/978-3-319-10575-8

Dieses zitieren