The SPIN verification system

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

http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/865165829#Topic/kongress
http://experiment.worldcat.org/entity/work/data/865165829#Topic/simulation_methodes_de_congres
http://id.worldcat.org/fast/1387358
http://experiment.worldcat.org/entity/work/data/865165829#Topic/verifikation
http://experiment.worldcat.org/entity/work/data/865165829#Topic/software
http://id.worldcat.org/fast/1012163
http://id.worldcat.org/fast/872604
http://experiment.worldcat.org/entity/work/data/865165829#Topic/spin
http://id.loc.gov/authorities/subjects/sh85029534
http://id.loc.gov/authorities/subjects/sh85082139
http://id.loc.gov/authorities/subjects/sh2009121254
http://experiment.worldcat.org/entity/work/data/865165829#Topic/modeles_mathematiques_congres
http://experiment.worldcat.org/entity/work/data/865165829#CreativeWork/spin_computer_file
http://experiment.worldcat.org/entity/work/data/865165829#Topic/mathematics
http://experiment.worldcat.org/entity/work/data/865165829#Topic/logiciels_verifications_congres
http://id.worldcat.org/fast/872527
http://experiment.worldcat.org/entity/work/data/865165829#Topic/graphes_theorie_des_congres
http://experiment.worldcat.org/entity/work/data/865165829#Topic/programari_verificacio_congressos
http://experiment.worldcat.org/entity/work/data/865165829#Topic/semantique

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/865165829#Meeting/workshop_on_the_spin_verification_system_2_1996_new_brunswick_n_j
http://id.loc.gov/authorities/names/n93087337
http://experiment.worldcat.org/entity/work/data/865165829#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j
http://experiment.worldcat.org/entity/work/data/865165829#Organization/american_mathematical_society
http://viaf.org/viaf/169401409
http://experiment.worldcat.org/entity/work/data/865165829#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_&lt_piscataway_nj&gt
http://experiment.worldcat.org/entity/work/data/865165829#Organization/workshop_on_the_spin_verification_system_&lt_2_1996_new_brunswick_nj&gt
http://worldcat.org/entity/person/id/2636112750
http://worldcat.org/entity/person/id/2643050526
http://experiment.worldcat.org/entity/work/data/865165829#Meeting/dimacs_workshop_on_the_spin_verification_system_2nd_aug_1996_piscataway
http://worldcat.org/entity/person/id/2638605657

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/865165829#Meeting/spin_verification_system_1996_new_brunswick_estats_units_d_america
http://experiment.worldcat.org/entity/work/data/865165829#Meeting/workshop_on_the_spin_verification_system_2nd_1996_rutgers_university

http://schema.org/editor

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

http://schema.org/genre

"Conference papers and proceedings"
"Rutgers (NJ, 1996)"
"Kongreß"

http://schema.org/name

"The SPIN verification system : the second Workshop on the SPIN Verification System, proceedings of a DIMACS Workshop, August 5, 1996"
"The SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996"
"The SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996, [held at Rutgers Univ. in New Brunswick, NJ]"
"The SPIN verification system"@en
"The SPIN verification system : The Second Workshop on the SPIN Verification System : Proceedings of a DIMACS workshop, August 5, 1996"
"The SPIN verification system : DINACS workshop, agust 5, 1996"
"The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996"

http://schema.org/workExample

http://www.worldcat.org/oclc/313310507
http://www.worldcat.org/oclc/840346586
http://www.worldcat.org/oclc/770888731
http://www.worldcat.org/oclc/36201609
http://www.worldcat.org/oclc/633386023
http://www.worldcat.org/oclc/246904967
http://www.worldcat.org/oclc/717958829
http://www.worldcat.org/oclc/807556051
http://www.worldcat.org/oclc/59587298

SPIN (Computer file)

This is a placeholder reference for a CreativeWork 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/CreativeWork
schema:name
"SPIN (Computer file)"

http://experiment.worldcat.org/entity/work/data/865165829#CreativeWork/spin_computer_file

DIMACS Workshop on the SPIN Verification System (2nd : Aug. 1996 : Piscataway,)

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
"DIMACS Workshop on the SPIN Verification System (2nd : Aug. 1996 : Piscataway,)"

http://experiment.worldcat.org/entity/work/data/865165829#Meeting/dimacs_workshop_on_the_spin_verification_system_2nd_aug_1996_piscataway

SPIN Verification System (1996 : New Brunswick, Estats Units d'Amèrica)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"SPIN Verification System (1996 : New Brunswick, Estats Units d'Amèrica)"

http://experiment.worldcat.org/entity/work/data/865165829#Meeting/spin_verification_system_1996_new_brunswick_estats_units_d_america

Workshop on the SPIN Verification System (2 : 1996 : New Brunswick, N.J.)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Workshop on the SPIN Verification System (2 : 1996 : New Brunswick, N.J.)"

http://experiment.worldcat.org/entity/work/data/865165829#Meeting/workshop_on_the_spin_verification_system_2_1996_new_brunswick_n_j

Workshop on the SPIN Verification System (2nd : 1996 : Rutgers University)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Workshop on the SPIN Verification System (2nd : 1996 : Rutgers University)"

http://experiment.worldcat.org/entity/work/data/865165829#Meeting/workshop_on_the_spin_verification_system_2nd_1996_rutgers_university

American Mathematical Society.

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
"American Mathematical Society."

http://experiment.worldcat.org/entity/work/data/865165829#Organization/american_mathematical_society

Center for Discrete Mathematics and Theoretical Computer Science. <Piscataway, NJ>.

rdf:type
http://schema.org/Organization
schema:name
"Center for Discrete Mathematics and Theoretical Computer Science. <Piscataway, NJ>."

http://experiment.worldcat.org/entity/work/data/865165829#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_&lt_piscataway_nj&gt

Center for Discrete Mathematics and Theoretical Computer Science (Piscataway, N.J.)

rdf:type
http://schema.org/Organization
schema:name
"Center for Discrete Mathematics and Theoretical Computer Science (Piscataway, N.J.)"

http://experiment.worldcat.org/entity/work/data/865165829#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j

Workshop on the SPIN Verification System. <2, 1996, New Brunswick, NJ>.

rdf:type
http://schema.org/Organization
schema:name
"Workshop on the SPIN Verification System. <2, 1996, New Brunswick, NJ>."

http://experiment.worldcat.org/entity/work/data/865165829#Organization/workshop_on_the_spin_verification_system_&lt_2_1996_new_brunswick_nj&gt

Graphes, Théorie des 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
"Graphes, Théorie des Congrès."