Partial order methods in verification : DIMACS workshop July 24-26, 1996

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/45752994#Topic/informatique_repartie
http://experiment.worldcat.org/entity/work/data/45752994#Topic/halbordnung
http://id.loc.gov/authorities/subjects/sh85042288
http://experiment.worldcat.org/entity/work/data/45752994#Topic/verification_de_logiciels
http://id.worldcat.org/fast/906956
http://id.worldcat.org/fast/872527
http://experiment.worldcat.org/entity/work/data/45752994#Topic/verifikation
http://experiment.worldcat.org/entity/work/data/45752994#Topic/logiciels_verification_congres
http://id.worldcat.org/fast/906987
http://experiment.worldcat.org/entity/work/data/45752994#Topic/kongress
http://id.loc.gov/authorities/subjects/sh2008102927
http://id.worldcat.org/fast/872604
http://id.loc.gov/authorities/subjects/sh2009121254
http://experiment.worldcat.org/entity/work/data/45752994#Topic/traitement_reparti_congres
http://experiment.worldcat.org/entity/work/data/45752994#Topic/zustandsraum
http://id.loc.gov/authorities/subjects/sh85029534

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/45752994#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j
http://worldcat.org/entity/person/id/2636112750
http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996
http://viaf.org/viaf/217788938
http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university
http://worldcat.org/entity/person/id/2630279845
http://worldcat.org/entity/person/id/2643050526
http://id.loc.gov/authorities/names/n90695869
http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification
http://experiment.worldcat.org/entity/work/data/45752994#Organization/american_mathematical_society
http://experiment.worldcat.org/entity/work/data/45752994#Meeting/dimacs_workshop_on_partial_order_methods_in_verification_july_1996_princeton

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university

http://schema.org/genre

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

http://schema.org/name

"Partial order methods in verification : DIMACS workshop July 24-26, 1996"
"Partial order methods in verification : DIMACS workshop July 24 - 26, 1996"
"Partial order methods in verification : DIMACS workshop, July 24-26, 1996 ; [papers presented at the Workshop on Partial Order Methods in Verification (POMIV '96) ; Princeton University]"
"Partial order methods in verification : DIMACS workshop July 24-26 1996"
"Partial order methods in verification : DIMACS Workshop, July 24-26, 1996"
"Partial order methods in verification DIMACS workshop, July 24-26, 1996"

http://schema.org/workExample

http://www.worldcat.org/oclc/35849180
http://www.worldcat.org/oclc/909696412
http://www.worldcat.org/oclc/632301430
http://www.worldcat.org/oclc/246904957
http://www.worldcat.org/oclc/840347014
http://www.worldcat.org/oclc/473778072
http://www.worldcat.org/oclc/757715043

DIMACS Workshop on Partial Order Methods in Verification (July 1996 : Princeton,)

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 Partial Order Methods in Verification (July 1996 : Princeton,)"

http://experiment.worldcat.org/entity/work/data/45752994#Meeting/dimacs_workshop_on_partial_order_methods_in_verification_july_1996_princeton

Workshop on Partial Order Methods in Verification.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Workshop on Partial Order Methods in Verification."

http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification

Workshop on partial order methods in verification (1996)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Workshop on partial order methods in verification (1996)"

http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996

Workshop on Partial Order Methods in Verification (1996 : Princeton University)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Workshop on Partial Order Methods in Verification (1996 : Princeton University)"

http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_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/45752994#Organization/american_mathematical_society

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/45752994#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j

Halbordnung.

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
"Halbordnung."

http://experiment.worldcat.org/entity/work/data/45752994#Topic/halbordnung

Informatique répartie.

rdf:type
http://schema.org/Topic
schema:name
"Informatique répartie."

http://experiment.worldcat.org/entity/work/data/45752994#Topic/informatique_repartie

Kongreß.

rdf:type
http://schema.org/Topic
schema:name
"Kongreß."

http://experiment.worldcat.org/entity/work/data/45752994#Topic/kongress

Logiciels Vérification Congrès.

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

http://experiment.worldcat.org/entity/work/data/45752994#Topic/logiciels_verification_congres

Traitement réparti Congrès.

rdf:type
http://schema.org/Topic
schema:name
"Traitement réparti Congrès."

http://experiment.worldcat.org/entity/work/data/45752994#Topic/traitement_reparti_congres

Vérification de logiciels.

rdf:type
http://schema.org/Topic
schema:name
"Vérification de logiciels."