Scan barcode
295 pages • missing pub info (editions)
ISBN/UID: 9783642026515
Format: Paperback
Language: English
Publisher: Springer
Publication date: 19 June 2009
Description
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26-28, 2009. The workshop was co-located with the 2...
Community Reviews
Content Warnings
295 pages • missing pub info (editions)
ISBN/UID: 9783642026515
Format: Paperback
Language: English
Publisher: Springer
Publication date: 19 June 2009
Description
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26-28, 2009. The workshop was co-located with the 2...