You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
295 pages • paperback • 9 editions
ISBN/UID: 9783642026515
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 19 Jun 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 • paperback
ISBN/UID: 9783642026515
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 19 Jun 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