Matches in VIAF for { <http://viaf.org/viaf/137149236> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 137149236 alternateName "CAV '92 (4 ; 1992 ; Montreal)".
- 137149236 alternateName "CAV '92 (4e : 1992 : Montréal, Québec)".
- 137149236 alternateName "CAV '92 (4th : 1992 : Montréal, Quebec)".
- 137149236 alternateName "CAV '92".
- 137149236 alternateName "CAV 1992".
- 137149236 alternateName "CAV 4 1992 Montréal".
- 137149236 alternateName "CAV international conference".
- 137149236 alternateName "CAV international workshop".
- 137149236 alternateName "CAV".
- 137149236 alternateName "Computer-aided verification '92".
- 137149236 alternateName "Computer-aided verification 1992".
- 137149236 alternateName "Conference on computer-aided verification".
- 137149236 alternateName "DIMACS workshop on computer-aided verification".
- 137149236 alternateName "International Workshop CAV".
- 137149236 alternateName "International conference on computer-aided verification (04 : 1992 : Montréal, Canada)".
- 137149236 alternateName "International workshop on computer aided verification".
- 137149236 alternateName "Workshop on Computer Aided Verification".
- 137149236 alternateName "Workshop on Computer-Aided Verification".
- 137149236 alternateName "Workshop on computer-aided verification".
- 137149236 name "CAV '92".
- 137149236 name "CAV".
- 137149236 name "International conference on computer-aided verification".
- 137149236 sameAs 2127527-0.
- 137149236 sameAs id.
- 137149236 type Organization.
- 137149236 seeAlso skos:Concept.