5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers MoChArt 2008 (2008 : Patrai, Greece) creator Peled, Doron 1962- Wooldrige, Michael J. text bibliography conference publication Kongress. gw Berlin New York Springer c2009 2009 monographic eng

print

188 p. : ill. ; 24 cm. Doron A. Peled, Michael J. Wooldrige (eds.). Includes bibliographical references and index. Computer systems Verification Congresses Computer software Verification Congresses Artificial intelligence Congresses K�unstliche Intelligenz Model Checking Kongress Patras <2008> Model Checking QA76.76.V47 M63 2008 006.3 MOC DAT 325f DAT 706f SS 4800 Lecture notes in artificial intelligence 9783642004308 (acidfree paper) 364200430X 2009921993 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 http://d-nb.info/992751535/04 http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html 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 http://d-nb.info/992751535/04 http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html ZCU 090130 20150408114156.0 15605097 eng