You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
193 pages • paperback • 9 editions
ISBN/UID: 9783642223051
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 05 Jul 2011
Description
This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based tec...
Community Reviews
Content Warnings
193 pages • paperback
ISBN/UID: 9783642223051
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 05 Jul 2011
Description
This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based tec...
Community Reviews
Content Warnings