×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 1-11 (2011).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI