01
SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
The earliest high-confidence catalog date in this author overview is 2006.
Author
John Penix
1 cataloged contributions
2006 across 1 high-confidence dated work
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading John Penix, drawn from catalog context and salon activity when available.
The catalog
Bibliography
1 work
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0