Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Format
Post in Networking
BY Matthew Dwyer
3540421246 Shared By Guest
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings Matthew Dwyer is available to download
| Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings Matthew Dwyer | |
| Type: | eBook |
| Released: | 2001 |
| Publisher: | Springer |
| Page Count: | 321 |
| Format: | |
| Language: | English |
| ISBN-10: | 3540421246 |
| ISBN-13: | 9783540421245 |
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
You should be logged in to Download this Document. Membership is Required. Register here
Related Books on Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
- SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
- Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009; proceedings
- Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Comments (0)