search result

Cover von Model Checking and Artificial Intelligence
6th International Workshop, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 6572
Media group: MONOGRAPHIE
OPEN V 11.1.0.0