<http://worldcat.org/entity/work/id/24682669> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/24682669#Organization/dimacs_workshop_on_computer_aided_verification> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/name> "Computer-aided verification '90 proceedings of a DIMACS workshop, June 18-21, 1990"@en .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634431333> .
<http://worldcat.org/entity/work/id/24682669> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/about> <http://id.worldcat.org/fast/975600> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/workExample> <http://www.worldcat.org/oclc/23355319> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/workExample> <http://www.worldcat.org/oclc/839733553> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85037979> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_numeriques_conception_assistee_par_ordinateur_congres> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/workExample> <http://www.worldcat.org/oclc/263299775> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/contributor> <http://viaf.org/viaf/132038962> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473430191> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/workExample> <http://www.worldcat.org/oclc/421597635> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/name> "Computer-aided verification '90 : Proceedings of a DIMACS workshop, June 18-21, 1990" .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_90_2nd_june_1990> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/workExample> <http://www.worldcat.org/oclc/681459591> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_verification_congres> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/name> "Computer-aided verification '90 : proceedings of a DIMACS Workshop, June 18-21, 1990" .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_2_1990_new_brunswick_n_j> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/name> "Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990" .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2672501750> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008123906> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/about> <http://id.worldcat.org/fast/893694> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/24682669#Meeting/cav_conference_2nd_1990_center_for_discrete_mathematics_and_theoretical_computer_science> .
<http://worldcat.org/entity/work/id/24682669> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/24682669> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2635076815> .
<http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_numeriques_conception_assistee_par_ordinateur_congres> <http://schema.org/name> "Circuits intégrés numériques Conception assistée par ordinateur Congrès." .
<http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_numeriques_conception_assistee_par_ordinateur_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_90_2nd_june_1990> <http://schema.org/name> "DIMACS Workshop on Computer-Aided Verification '90 (2nd : June 1990)" .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_90_2nd_june_1990> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_90_2nd_june_1990> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/cav_conference_2nd_1990_center_for_discrete_mathematics_and_theoretical_computer_science> <http://schema.org/name> "CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)" .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/cav_conference_2nd_1990_center_for_discrete_mathematics_and_theoretical_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/cav_conference_2nd_1990_center_for_discrete_mathematics_and_theoretical_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/24682669.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/24682669.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/24682669> .
<http://experiment.worldcat.org/entity/work/data/24682669#Organization/dimacs_workshop_on_computer_aided_verification> <http://schema.org/name> "DIMACS Workshop on Computer-Aided Verification" .
<http://experiment.worldcat.org/entity/work/data/24682669#Organization/dimacs_workshop_on_computer_aided_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_verification_congres> <http://schema.org/name> "Circuits intégrés Vérification Congrès." .
<http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_verification_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_2_1990_new_brunswick_n_j> <http://schema.org/name> "DIMACS Workshop on Computer-Aided Verification (2 : 1990 : New Brunswick, N.J.)" .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_2_1990_new_brunswick_n_j> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/dimacs_workshop_on_computer_aided_verification_2_1990_new_brunswick_n_j> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .