<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_07_14_15_snowbird_ut> <http://schema.org/name> "International SPIN Workshop (18 2011.07.14-15 Snowbird, UT)" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_07_14_15_snowbird_ut> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_07_14_15_snowbird_ut> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/programming_languages_compilers_interpreters> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters." .
<http://experiment.worldcat.org/entity/work/data/1056136699.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1056136699.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1056136699> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> <http://schema.org/name> "International SPIN Workshop (18th : 2011 : Snowbird, Utah)" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/spin_2011_18_2011_snowbird_us> <http://schema.org/name> "SPIN 2011 (18 ; 2011 ; Snowbird, US)." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/spin_2011_18_2011_snowbird_us> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/spin_2011_18_2011_snowbird_us> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/spin_computer_file_congresses> <http://schema.org/name> "SPIN (Computer file) Congresses." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/spin_computer_file_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logic_design> <http://schema.org/name> "Logic design." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logic_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logiciels_verification_congres> <http://schema.org/name> "Logiciels Vérification Congrès." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logiciels_verification_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#CreativeWork/spin_computer_file> <http://schema.org/name> "SPIN (Computer file)" .
<http://experiment.worldcat.org/entity/work/data/1056136699#CreativeWork/spin_computer_file> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Organization/springerlink_service_en_ligne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/software_engineering> <http://schema.org/name> "Software engineering." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/software_engineering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_of_software_18_2011_07_14_15_snowbird_utah> <http://schema.org/name> "International SPIN Workshop on Model Checking of Software (18 2011.07.14-15 Snowbird, Utah)" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_of_software_18_2011_07_14_15_snowbird_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_of_software_18_2011_07_14_15_snowbird_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/844893663> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/800759779> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/author> <http://worldcat.org/entity/person/id/2636039748> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/model_checking> .
<http://worldcat.org/entity/work/id/1056136699> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logiciels_verification_congres> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14 - 15, 2011" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logic_design> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2636039748> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/778004214> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#CreativeWork/spin_computer_file> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/733249744> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/874396972> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n2013053612> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/745500538> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_snowbird_utah> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.worldcat.org/fast/1387358> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029537> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/752227132> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_of_software_18_2011_07_14_15_snowbird_utah> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logiciels_verification> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1056136699#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/740506080> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/740828786> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 :  proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029533> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_07_14_15_snowbird_ut> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636039748> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/863690160> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://viaf.org/viaf/172250035> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/spin_2011_18_2011_snowbird_us> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/alternateName> "International SPIN Workshop" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/informatique> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/description> "This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking." .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/755978881> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model checking software 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.worldcat.org/fast/872604> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638635633> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/1056136699> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/computer_science> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/programming_languages_compilers_interpreters> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/spin_computer_file_congresses> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/workExample> <http://www.worldcat.org/oclc/800791255> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/alternateName> "Model Checking Software" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2009121254> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/model_checking_informatique> .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/name> "Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/alternateName> "SPIN 2011" .
<http://worldcat.org/entity/work/id/1056136699> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_software_18_14_07_2011_15_07_2011_snowbird_ut_usa> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_snowbird_utah> <http://schema.org/name> "International SPIN Workshop 18 2011 Snowbird, Utah" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_snowbird_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18_2011_snowbird_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logiciels_verification> <http://schema.org/name> "Logiciels Vérification." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logiciels_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_software_18_14_07_2011_15_07_2011_snowbird_ut_usa> <http://schema.org/name> "International SPIN Workshop on Model Checking Software (18 : 14-07-2011 - 15-07-2011 : Snowbird, UT, USA)" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_software_18_14_07_2011_15_07_2011_snowbird_ut_usa> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_on_model_checking_software_18_14_07_2011_15_07_2011_snowbird_ut_usa> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/computer_science> <http://schema.org/name> "Computer science." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/model_checking> <http://schema.org/name> "Model Checking." .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/model_checking> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/model_checking> <http://schema.org/name> "Model Checking" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/model_checking_informatique> <http://schema.org/name> "Model-checking (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/model_checking_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .