Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science, Band 4428)
von
Stefan Edelkamp
·
Alessio Lomuscio
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-74127-5
ISBN-10: 3-540-74127-5
Springer
· 2009
