Matches in VIAF for { <http://viaf.org/viaf/132038962> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 132038962 alternateName "CAV '90".
- 132038962 alternateName "CAV 1990".
- 132038962 alternateName "CAV 2 1990 New Brunswick, NJ".
- 132038962 alternateName "CAV international conference".
- 132038962 alternateName "CAV international workshop".
- 132038962 alternateName "CAV".
- 132038962 alternateName "Computer-aided verification '90".
- 132038962 alternateName "Computer-aided verification 1990".
- 132038962 alternateName "Conference on computer-aided verification".
- 132038962 alternateName "DIMACS Workshop on Computer Aided Verification".
- 132038962 alternateName "DIMACS workshop on computer-aided verification".
- 132038962 alternateName "International Conference CAV".
- 132038962 alternateName "International conference on computer-aided verification (02 : 1990 : New Brunswick, N.J.)".
- 132038962 alternateName "International workshop on computer aided verification".
- 132038962 alternateName "Workshop in Computer Aided Verification".
- 132038962 alternateName "Workshop in Computer-Aided Verification".
- 132038962 alternateName "Workshop on Computer Aided Verification".
- 132038962 alternateName "Workshop on Computer-Aided Verification".
- 132038962 alternateName "Workshop on computer-aided verification".
- 132038962 name "CAV".
- 132038962 name "International conference on computer-aided verification".
- 132038962 sameAs 2118462-8.
- 132038962 sameAs id.
- 132038962 type Organization.
- 132038962 seeAlso skos:Concept.