Matches in VIAF for { <http://viaf.org/viaf/sourceID/DNB%7C007658117#skos:Concept> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- skos:Concept type Concept.
- skos:Concept altLabel "DIMACS Workshop on Computer Aided Verification 2 1990 New Brunswick, NJ".
- skos:Concept altLabel "International Conference CAV 2 1990 New Brunswick, NJ".
- skos:Concept altLabel "Workshop in Computer Aided Verification 2 1990 New Brunswick, NJ".
- skos:Concept altLabel "Workshop in Computer-Aided Verification 2 1990 New Brunswick, NJ".
- skos:Concept altLabel "Workshop on Computer Aided Verification 2 1990 New Brunswick, NJ".
- skos:Concept altLabel "Workshop on Computer-Aided Verification 2 1990 New Brunswick, NJ".
- skos:Concept inScheme DNB.
- skos:Concept prefLabel "CAV 2 1990 New Brunswick, NJ".
- skos:Concept focus 132038962.