Model Checking and Artificial Intelligence   5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / 
 MoChArt 5  MoChArt five 
Doron A. Peled, Michael J. Wooldrige (eds.). 
 - Berlin ;  New York :  Springer,  c2009. 
 - 188 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science,  Lecture notes in artificial intelligence  5348.  0302-9743 ; .
 - Lecture notes in computer science ;  5348. Lecture notes in computer science.  Lecture notes in artificial intelligence. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/> paperback 
<br/><br/><label>ISBN: </label>9783642004308 (acidfree paper) 
<br/><br/><label>LCCN: </label>2009921993 
<br/><br/><label>Nat. Bib. No.: </label>09,N10,0077  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>992751535  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification--Congresses.<br/>Computer software--Verification--Congresses.<br/>Artificial intelligence--Congresses.<br/>Künstliche Intelligenz--Model Checking--Patras <2008>--Kongress<br/>Model Checking.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Kongress.
<br/><br/><label>LC Class. No.: </label>QA76.76.V47  / M63 2008 
<br/><br/><label>Dewey Class. No.: </label>006.3  / MOD