Model Checking and Artificial Intelligence
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. .
Includes bibliographical references and index.
License restrictions may limit access.
9783642004308 (acidfree paper) 364200430X = Model Checking and Artificial Intelligence
dnb
992751535 DE-101
Computer systems--Verification--Congresses.
Computer software--Verification--Congresses.
Artificial intelligence--Congresses.
Künstliche Intelligenz--Model Checking--Patras <2008>--Kongress
Model Checking.
Kongress.
006.3 / M O M
Includes bibliographical references and index.
License restrictions may limit access.
9783642004308 (acidfree paper) 364200430X = Model Checking and Artificial Intelligence
dnb
992751535 DE-101
Computer systems--Verification--Congresses.
Computer software--Verification--Congresses.
Artificial intelligence--Congresses.
Künstliche Intelligenz--Model Checking--Patras <2008>--Kongress
Model Checking.
Kongress.
006.3 / M O M