Matches in VIAF for { <http://viaf.org/viaf/sourceID/SUDOC%7C175650918#skos:Concept> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- skos:Concept type Concept.
- skos:Concept altLabel "CAV '92".
- skos:Concept altLabel "CAV (04 : 1992 : Montréal, Canada)".
- skos:Concept altLabel "CAV 1992".
- skos:Concept altLabel "CAV international conference (04 : 1992 : Montréal, Canada)".
- skos:Concept altLabel "CAV international workshop (04 : 1992 : Montréal, Canada)".
- skos:Concept altLabel "Computer-aided verification '92".
- skos:Concept altLabel "Computer-aided verification 1992".
- skos:Concept altLabel "Conference on computer-aided verification (04 : 1992 : Montréal, Canada)".
- skos:Concept altLabel "DIMACS workshop on computer-aided verification (04 : 1992 : Montréal, Canada)".
- skos:Concept altLabel "International workshop on computer aided verification (04 : 1992 : Montréal, Canada)".
- skos:Concept altLabel "Workshop on computer-aided verification (04 : 1992 : Montréal, Canada)".
- skos:Concept inScheme SUDOC.
- skos:Concept prefLabel "International conference on computer-aided verification (04 : 1992 : Montréal, Canada)".
- skos:Concept focus 137149236.