Model Checking and Artificial Intelligence
5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers
Model Checking and Artificial Intelligence
MoChArt 5
MoChArt five
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
188 p. : ills. ; 24 c.m.
Doron A. Peled, Michael J. Wooldrige (eds.).
Includes bibliographical references and index.
License restrictions may limit access.
Computer systems
Verification
Congresses
Computer software
Verification
Congresses
Artificial intelligence
Congresses
Künstliche Intelligenz
Model Checking
Kongress
Patras <2008>
Model Checking
006.3 M O M
SpringerLink ebooks - Computer Science (2009)
Lecture notes in computer science ; 5348
Lecture notes in computer science
9783642004308 (acidfree paper)
364200430X
License restrictions may limit access.
ZCU
110828
20150408113915.0
7919704
eng