Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Paperback Published on: 25/07/2012
Price: £41.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642317583
- Number of pages: 261
- Dimensions: 235 x 155 mm
- Languages: English


