History
1
au:Kellershoff, M*
2


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Program model checking via action planning. (English)
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, 32-51 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Program model checking via action planning (English)
MoChArt, 32-51 (2010).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Valid XHTML 1.0 Transitional Valid CSS!