Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Paperback Published on: 04/05/2011
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642206733
- Number of pages: 131
- Dimensions: 235 x 155 mm
- Languages: English


