International SPIN Workshop (18th : 2011 : Snowbird, Utah)
URI(s)
Variants
- SPIN 2011
Additional Information
Exact Matching Concepts from Other Schemes
Sources
- found: Model checking software, 2011:title page (18th international SPIN workshop)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2013-08-26: new
Alternate Formats