Matches in VIAF for { <http://viaf.org/viaf/178344039> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- 178344039 alternateName "CAV 2011".
- 178344039 alternateName "CAV 23 2011 Snowbird, Utah".
- 178344039 alternateName "International Conference on Computer Aided Verification".
- 178344039 alternateName "International Conference on Computer-Aided Verification".
- 178344039 alternateName "International conference on computer-aided verification (23 : 2011 : Snowbird, US)".
- 178344039 name "CAV".
- 178344039 name "International conference on computer-aided verification".
- 178344039 sameAs 16164108-8.
- 178344039 sameAs id.
- 178344039 type Organization.
- 178344039 seeAlso skos:Concept.
- 178344039 seeAlso skos:Concept.