<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/sfm_8_2008_06_02_07_bertinoro> <http://schema.org/name> "SFM (8 : 2008.06.02-07 : Bertinoro)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/sfm_8_2008_06_02_07_bertinoro> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/sfm_8_2008_06_02_07_bertinoro> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_bertinoro> <http://schema.org/name> "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8 : 2008 : Bertinoro)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_bertinoro> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_bertinoro> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/formal_methods_computer_science> <http://schema.org/name> "Formal methods (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/formal_methods_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/integrated_circuits_verification> <http://schema.org/name> "Integrated circuits Verification." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/integrated_circuits_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008> <http://schema.org/name> "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008)." .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/computer_communication_networks> <http://schema.org/name> "Computer Communication Networks." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/computer_communication_networks> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/computer_communication_networks> <http://schema.org/name> "Computer Communication Networks" .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/metodes_formals_informatica_congressos> <http://schema.org/name> "Mètodes formals (Informàtica) Congressos." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/metodes_formals_informatica_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/methode_formelle> <http://schema.org/name> "Méthode formelle." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/methode_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/circuits_integrats_verificacio_congressos> <http://schema.org/name> "Circuits integrats Verificació Congressos." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/circuits_integrats_verificacio_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/circuits_integres_verification_congres> <http://schema.org/name> "Circuits intégrés Vérification Congrès." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/circuits_integres_verification_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008_bertinoro_italy> <http://schema.org/name> "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008_bertinoro_italy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008_bertinoro_italy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/computational_biology_bioinformatics> <http://schema.org/name> "Computational Biology/Bioinformatics." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/computational_biology_bioinformatics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/computational_biology_bioinformatics> <http://schema.org/name> "Computational Biology/Bioinformatics" .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/logiciels_developpement_congres> <http://schema.org/name> "Logiciels Développement Congrès." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/logiciels_developpement_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters." .
<http://experiment.worldcat.org/entity/work/data/205267137#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/205267137#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters" .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/metodes_formals_informatica> <http://schema.org/name> "Mètodes formals (Informàtica)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/metodes_formals_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/205267137#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/205267137#Topic/software_engineering> <http://schema.org/name> "Software engineering." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/205267137#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/205267137#Topic/computer_science> <http://schema.org/name> "Computer science." .
<http://experiment.worldcat.org/entity/work/data/205267137.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/205267137.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/205267137> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/soft_computing> <http://schema.org/name> "Soft Computing." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/soft_computing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_06_02_07_bertinoro> <http://schema.org/name> "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8 : 2008.06.02-07 : Bertinoro)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_06_02_07_bertinoro> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_06_02_07_bertinoro> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/logic_design> <http://schema.org/name> "Logic design." .
<http://experiment.worldcat.org/entity/work/data/205267137#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/205267137#Topic/special_purpose_and_application_based_systems> <http://schema.org/name> "Special Purpose and Application-Based Systems." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/special_purpose_and_application_based_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/special_purpose_and_application_based_systems> <http://schema.org/name> "Special Purpose and Application-Based Systems" .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_sfm_8_02_06_2008_07_06_2008_bertinoro_italy> <http://schema.org/name> "International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM (8 : 02-06-2008 - 07-06-2008 : Bertinoro, Italy)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_sfm_8_02_06_2008_07_06_2008_bertinoro_italy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_sfm_8_02_06_2008_07_06_2008_bertinoro_italy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/verificacio_dels_circuits_integrats> <http://schema.org/name> "Verificació dels circuits integrats." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/verificacio_dels_circuits_integrats> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/methodes_formelles_informatique_congres> <http://schema.org/name> "Méthodes formelles (informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/methodes_formelles_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/methodes_formelles_informatique_congres> <http://schema.org/name> "Méthodes formelles (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/biologie_systemique> <http://schema.org/name> "Biologie systémique." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/biologie_systemique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8e_2008_bertinoro_italie> <http://schema.org/name> "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8e : 2008 : Bertinoro, Italie)" .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8e_2008_bertinoro_italie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8e_2008_bertinoro_italie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/205267137#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/205267137#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs" .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/bioinformatics> <http://schema.org/name> "Bioinformatics." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/bioinformatics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/bio_informatique> <http://schema.org/name> "Bio-informatique." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/bio_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/systembiologie> <http://schema.org/name> "Systembiologie." .
<http://experiment.worldcat.org/entity/work/data/205267137#Topic/systembiologie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008104061> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/biologie_systemique> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh00003585> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/sfm_8_2008_06_02_07_bertinoro> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/programming_languages_compilers_interpreters> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/soft_computing> .
<http://worldcat.org/entity/work/id/205267137> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/methode_formelle> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.worldcat.org/fast/932926> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/computational_biology_bioinformatics> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal methods for computational systems biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal methods for computational systems biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/circuits_integrats_verificacio_congressos> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal methods for computational systems biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 ; advanced lectures" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/author> <http://worldcat.org/entity/person/id/2630873312> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_bertinoro> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2639122546> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630873312> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/bio_informatique> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8_2008_06_02_07_bertinoro> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Bertinoro (2008)"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/systembiologie> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873500976> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/computer_communication_networks> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/827361466> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/circuits_integres_verification_congres> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008_bertinoro_italy> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/author> <http://worldcat.org/entity/person/id/2634761784> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/computer_science> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473706826> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/informatique> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/special_purpose_and_application_based_systems> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2696347622> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/author> <http://worldcat.org/entity/person/id/2639122546> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/verificacio_dels_circuits_integrats> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2719721860> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/alternateName> "SFM 2008" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/alternateName> "SFM 2008"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008123906> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_sfm_8_02_06_2008_07_06_2008_bertinoro_italy> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/integrated_circuits_verification> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/611904216> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/formal_methods_computer_science> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804220927> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/logic_design> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/240226891> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/896260506> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/254922237> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/logiciels_developpement_congres> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/272309909> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.worldcat.org/fast/975600> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496747626> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634761784> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/metodes_formals_informatica> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 ; advanced lectures" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8e_2008_bertinoro_italie> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/methodes_formelles_informatique_congres> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.worldcat.org/fast/832181> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures"@en .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630873312> .
<http://worldcat.org/entity/work/id/205267137> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/workExample> <http://www.worldcat.org/oclc/230175096> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Online-Publikation" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/bioinformatics> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Llibres electrònics" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/205267137#Topic/metodes_formals_informatica_congressos> .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/name> "Formal methods for computational systems biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/genre> "Congressos" .
<http://worldcat.org/entity/work/id/205267137> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .