TY  - BOOK
AU  - Peled,Doron
AU  - Wooldrige,Michael J.
ED  - MoChArt 2008
TI  - Model Checking and Artificial Intelligence: 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers 
T2  - Lecture notes in computer science,
SN  - 9783642004308 (acidfree paper)
U1  - 006.3 21
PY  - 2009///
CY  - Berlin, New York
PB  - Springer
KW  - Computer systems
KW  - Verification
KW  - Congresses
KW  - Computer software
KW  - Artificial intelligence
KW  - Künstliche Intelligenz
KW  - Model Checking
KW  - Kongress
KW  - Patras <2008>
KW  - swd
N1  - Includes bibliographical references and index; License restrictions may limit access
ER  -