×

Found 3 Documents (Results 1–3)

Survey on directed model checking. (English) Zbl 1226.68042

Peled, Doron A. (ed.) et al., Model checking and artificial intelligence. 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-00430-8/pbk). Lecture Notes in Computer Science 5348. Lecture Notes in Artificial Intelligence, 65-89 (2009).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software