Matches in VIAF for { <http://viaf.org/viaf/sourceID/SUDOC%7C174457294#skos:Concept> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- skos:Concept type Concept.
- skos:Concept altLabel "CAV '90".
- skos:Concept altLabel "CAV (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept altLabel "CAV 1990".
- skos:Concept altLabel "CAV international conference (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept altLabel "CAV international workshop (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept altLabel "Computer-aided verification '90".
- skos:Concept altLabel "Computer-aided verification 1990".
- skos:Concept altLabel "Conference on computer-aided verification (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept altLabel "DIMACS workshop on computer-aided verification (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept altLabel "International workshop on computer aided verification (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept altLabel "Workshop on computer-aided verification (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept inScheme SUDOC.
- skos:Concept prefLabel "International conference on computer-aided verification (02 : 1990 : New Brunswick, N.J.)".
- skos:Concept focus 132038962.