Back to UK deals/Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Springer Nature

Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Name: Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Brand: Springer Nature