Model Checking and Artificial Intelligence  5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /  [electronic resource] : 
 MoChArt 5  MoChArt five 
Doron A. Peled, Michael J. Wooldrige (eds.). 
 - Berlin ;  New York :  Springer,  c2009. 
 - 188 p. :  ills. ;  24 c.m. 
 - Lecture notes in computer science,  Lecture notes in artificial intelligence  5348.  0302-9743 ; .
 - Lecture notes in computer science ;  5348. Lecture notes in computer science. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/> License restrictions may limit access. 
<br/><br/><label>ISBN: </label>9783642004308 (acidfree paper) 364200430X 
 = Model Checking and Artificial Intelligence 
<br/><br/><label>Nat. Bib. No.: </label> 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>Dewey Class. No.: </label>006.3  / M O M