TY  - BOOK
AU  - Peled,Doron A.
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)
AV  - QA76.76.V47 M63 2008
U1  - 006.3 23
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
UR  - http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
UR  - http://d-nb.info/992751535/04
UR  - http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html
ER  -