<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university> <http://schema.org/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> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/45752994#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j> <http://schema.org/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> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/verifikation> <http://schema.org/name> "Verifikation." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/verifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/zustandsraum> <http://schema.org/name> "Zustandsraum." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/zustandsraum> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/45752994#Organization/american_mathematical_society> <http://schema.org/name> "American Mathematical Society." .
<http://experiment.worldcat.org/entity/work/data/45752994#Organization/american_mathematical_society> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996> <http://schema.org/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> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/45752994.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/45752994.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/45752994> .
<http://worldcat.org/entity/work/id/45752994> <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/work/id/45752994> <http://schema.org/name> "Partial order methods in verification : DIMACS workshop July 24-26, 1996" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/name> "Partial order methods in verification : DIMACS workshop July 24 - 26, 1996" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636112750> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/workExample> <http://www.worldcat.org/oclc/35849180> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/name> "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]" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909696412> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/informatique_repartie> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/halbordnung> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85042288> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/verification_de_logiciels> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://viaf.org/viaf/217788938> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/name> "Partial order methods in verification : DIMACS workshop July 24-26 1996" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630279845> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.worldcat.org/fast/906956> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/name> "Partial order methods in verification : DIMACS Workshop, July 24-26, 1996" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2643050526> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.worldcat.org/fast/872527> .
<http://worldcat.org/entity/work/id/45752994> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n90695869> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/verifikation> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/logiciels_verification_congres> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.worldcat.org/fast/906987> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/workExample> <http://www.worldcat.org/oclc/632301430> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/kongress> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/workExample> <http://www.worldcat.org/oclc/246904957> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102927> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/45752994#Organization/american_mathematical_society> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.worldcat.org/fast/872604> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/genre> "Princeton (NJ, 1996)" .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2009121254> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/workExample> <http://www.worldcat.org/oclc/840347014> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473778072> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/traitement_reparti_congres> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/45752994#Topic/zustandsraum> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/45752994#Meeting/dimacs_workshop_on_partial_order_methods_in_verification_july_1996_princeton> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029534> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/workExample> <http://www.worldcat.org/oclc/757715043> .
<http://worldcat.org/entity/work/id/45752994> <http://schema.org/name> "Partial order methods in verification DIMACS workshop, July 24-26, 1996" .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/halbordnung> <http://schema.org/name> "Halbordnung." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/halbordnung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/dimacs_workshop_on_partial_order_methods_in_verification_july_1996_princeton> <http://schema.org/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> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/dimacs_workshop_on_partial_order_methods_in_verification_july_1996_princeton> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification> <http://schema.org/name> "Workshop on Partial Order Methods in Verification." .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/kongress> <http://schema.org/name> "Kongreß." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/verification_de_logiciels> <http://schema.org/name> "Vérification de logiciels." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/verification_de_logiciels> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/informatique_repartie> <http://schema.org/name> "Informatique répartie." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/informatique_repartie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/traitement_reparti_congres> <http://schema.org/name> "Traitement réparti Congrès." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/traitement_reparti_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/logiciels_verification_congres> <http://schema.org/name> "Logiciels Vérification Congrès." .
<http://experiment.worldcat.org/entity/work/data/45752994#Topic/logiciels_verification_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .