Treffer: Survey on Directed Model Checking

Titel:
Survey on Directed Model Checking / Stefan Edelkamp ; Viktor Schuppan ; Dragan Bošnački ; Anton Wijs ; Ansgar Fehnker ; Husain Aljazzar
Beteiligt:
Edelkamp, Stefan (Verfasser); Schuppan, Viktor (Verfasser) ; Bošnački, Dragan (Verfasser); Wijs, Anton (Verfasser); Fehnker, Ansgar (Verfasser) ; Aljazzar, Husain (Verfasser)
Veröffent­licht:
Konstanz : Bibliothek der Universität Konstanz, 2010
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Anmerkungen:
In: Model Checking and Artificial Intelligence / Peled, Doron A.; Wooldridge, Michael J. (Hrsg.)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
(Lecture Notes in Computer Science)
S. 65-89
ISSN 0302-9743
eISSN 1611-3349
ISBN 978-3-642-00430-8

Zusatz-Informationen

Zusatz-Funktionen