Matches in VIAF for { <http://viaf.org/viaf/133272486> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- 133272486 alternateName "International SPIN Workshop (17th : 2010 Enschede, Netherlands)".
- 133272486 alternateName "International SPIN Workshop 17 2010 Enschede".
- 133272486 alternateName "International SPIN Workshop on Model Checking of Software".
- 133272486 name "International SPIN Workshop".
- 133272486 sameAs 16085027-7.
- 133272486 type Organization.
- 133272486 seeAlso skos:Concept.