Computer-aided verification '90 proceedings of a DIMACS workshop, June 18-21, 1990

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://id.worldcat.org/fast/975600
http://id.loc.gov/authorities/subjects/sh85037979
http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_numeriques_conception_assistee_par_ordinateur_congres
http://experiment.worldcat.org/entity/work/data/24682669#Topic/circuits_integres_verification_congres
http://id.loc.gov/authorities/subjects/sh2008123906
http://id.worldcat.org/fast/893694

http://schema.org/contributor

http://worldcat.org/entity/person/id/2634431333
http://viaf.org/viaf/132038962
http://experiment.worldcat.org/entity/work/data/24682669#Meeting/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_2_1990_new_brunswick_n_j
http://worldcat.org/entity/person/id/2635076815

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/24682669#Organization/dimacs_workshop_on_computer_aided_verification
http://experiment.worldcat.org/entity/work/data/24682669#Meeting/cav_conference_2nd_1990_center_for_discrete_mathematics_and_theoretical_computer_science

http://schema.org/editor

http://worldcat.org/entity/person/id/2672501750

http://schema.org/genre

"Conference papers and proceedings"
"Conference papers and proceedings"@en

http://schema.org/name

"Computer-aided verification '90 proceedings of a DIMACS workshop, June 18-21, 1990"@en
"Computer-aided verification '90 : Proceedings of a DIMACS workshop, June 18-21, 1990"
"Computer-aided verification '90 : proceedings of a DIMACS Workshop, June 18-21, 1990"
"Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990"

http://schema.org/workExample

http://www.worldcat.org/oclc/23355319
http://www.worldcat.org/oclc/839733553
http://www.worldcat.org/oclc/263299775
http://www.worldcat.org/oclc/681459591
http://www.worldcat.org/oclc/421597635
http://www.worldcat.org/oclc/473430191

CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)

This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema: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

DIMACS Workshop on Computer-Aided Verification (2 : 1990 : New Brunswick, N.J.)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema: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

DIMACS Workshop on Computer-Aided Verification '90 (2nd : June 1990)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema: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

DIMACS Workshop on Computer-Aided Verification

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"DIMACS Workshop on Computer-Aided Verification"

http://experiment.worldcat.org/entity/work/data/24682669#Organization/dimacs_workshop_on_computer_aided_verification

Circuits intégrés numériques Conception assistée par ordinateur Congrès.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema: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

Circuits intégrés Vérification Congrès.

rdf:type
http://schema.org/Topic
schema:name
"Circuits intégrés Vérification Congrès."