Matches in VIAF for { <http://viaf.org/viaf/sourceID/LC%7Cn++91023182#skos:Concept> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- skos:Concept type Concept.
- skos:Concept altLabel "Conference on Computer-Aided Verification".
- skos:Concept altLabel "DIMACS Workshop on Computer-Aided Verification".
- skos:Concept altLabel "International Conference, CAV".
- skos:Concept altLabel "International Workshop on Computer Aided Verification".
- skos:Concept altLabel "International Workshop, CAV".
- skos:Concept altLabel "Workshop on Computer-Aided Verification".
- skos:Concept exactMatch n91023182.
- skos:Concept inScheme LC.
- skos:Concept prefLabel "CAV (Conference)".
- skos:Concept focus 149058477.