Home > 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: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Book Informaton
Author
Doron A. Peled; Michael Wooldridge
Series
Lecture Notes in Computer Science
Volume
5348
Year of Publication
2009
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
VII, 189
Language
en
ISBN
9783642004308, 9783642004315, 364200430X
ARI Id
1664718644791
This page has been accessed 2 times.
Access Options
Citation Options
Download CitationShowing 1 to 13 of 13 entries
Chapters/Headings | Author(s) | Pages | Info |
1-14 | |||
15-33 | |||
34-48 | |||
49-64 | |||
65-89 | |||
90-105 | |||
106-121 | |||
122-131 | |||
132-146 | |||
147-165 | |||
166-188 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 13 of 13 entries