Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited ... Notes in Computer Science, Band 6572)
von:
Ron van der Meyden
· Jan-Georg Smaus
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-20673-3
ISBN-10: 3-642-20673-5
Springer
· 2011
