Model Checking and Artificial Intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldrige (eds.).

Author/creator MoChArt 2008
Other author Peled, Doron A., 1962-
Other author Wooldrige, Michael J.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Description188 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from Springer Books
Subjects
Computer systems--Verification. --Congresses.
Computer software--Verification. --Congresses.
Artificial intelligence--Congresses.
Künstliche Intelligenz--Model Checking. --Kongress. --Patras <2008>.

Variant title MoChArt 5
Variant title MoChArt five
SeriesLecture notes in computer science, 0302-9743 ; 5348. Lecture notes in artificial intelligence
Lecture notes in computer science ; 5348. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009921993
ISBN9783642004308 (acid-free paper)
ISBN364200430X