Matches in VIAF for { <http://viaf.org/viaf/135908023> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- 135908023 alternateName "International SPIN Workshop 15 2008 Los Angeles, Calif".
- 135908023 alternateName "International SPIN Workshop on Model Checking of Software".
- 135908023 name "International SPIN Workshop".
- 135908023 sameAs 10351631-1.
- 135908023 type Organization.
- 135908023 seeAlso skos:Concept.