Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2011
SeriesLecture Notes in Computer Science
Subjects
Artificial Intelligence
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Online AccessGet full text
ISBN9783642206733
3642206735
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-20674-0

Cover

More Information
ISBN:9783642206733
3642206735
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-20674-0