<http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos_en_linea> <http://schema.org/name> "Redes de ordenadores Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos> <http://schema.org/name> "Sistemas distribuidos Congresos." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique_repartie> <http://schema.org/name> "Informatique répartie." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/computer_communication_networks> <http://schema.org/name> "Computer Communication Networks." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/computer_communication_networks> <http://schema.org/name> "Computer Communication Networks" .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/information_repartie> <http://schema.org/name> "information répartie." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/information_repartie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_data_processing_distributed_processing> <http://schema.org/name> "Electronic data processing Distributed processing." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_data_processing_distributed_processing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_paris_france> <http://schema.org/name> "International Conference on Formal Techniques for Networked and Distributed Systems (26 : 2006 : Paris, France)." .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_books> <http://schema.org/name> "Electronic books." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_books> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos_en_linea> <http://schema.org/name> "Sistemas distribuidos Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/langage_formel_logique_programmation_reseau_informatique_congres> <http://schema.org/name> "langage formel (logique) programmation réseau informatique congrès." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/langage_formel_logique_programmation_reseau_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/methodes_formelles_informatique_congres> <http://schema.org/name> "Méthodes formelles (informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/methodes_formelles_informatique_congres> <http://schema.org/name> "Méthodes formelles (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos> <http://schema.org/name> "Redes de ordenadores Congresos." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/operating_systems> <http://schema.org/name> "Operating Systems." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/operating_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/formal_methods_computer_science> <http://schema.org/name> "Formal methods (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/uml> <http://schema.org/name> "UML." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/uml> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/specification_formelle> <http://schema.org/name> "spécification formelle." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/specification_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> <http://schema.org/name> "International Conference on Formal Techniques for Networked and Distributed Systems (26 2006.09.26-29 Paris)" .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocole_communication> <http://schema.org/name> "protocole communication." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocole_communication> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique_distribuee_langage_formel_logique_programmation_congres> <http://schema.org/name> "informatique distribuée langage formel (logique) programmation congrès." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique_distribuee_langage_formel_logique_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/methode_formelle> <http://schema.org/name> "méthode formelle." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/methode_formelle> <http://schema.org/name> "Méthode formelle." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/verification_modele> <http://schema.org/name> "vérification modèle." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/verification_modele> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/771367458> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2660141270> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101491> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_science> .
<http://worldcat.org/entity/work/id/457549747> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/262693284> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_network_protocols> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/operating_systems> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/uml> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2642207408> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102927> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/alternateName> "Twenty-sixth IFIP WG 6.1 International Conference" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/alternateName> "Twenty-sixth IFIP WG 6.1 International Conference"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal Techniques for Networked and Distributed Systems - FORTE 2006 00 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_data_processing_distributed_processing> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845114430> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://viaf.org/viaf/149180902> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150373310> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/traitement_reparti_congres> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n84145129> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_2006_2006_paris_france> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/1046280> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/403754388> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/932926> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://viaf.org/viaf/264055629> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496492238> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/476057106> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique_distribuee_langage_formel_logique_programmation_congres> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos_en_linea> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008104061> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2630516684> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://viaf.org/viaf/133327008> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/457549747#Meeting/ifip_wg_6_1_international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2660141270> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://viaf.org/viaf/312855385> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/alternateName> "FORTE 2006" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630516684> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/langage_formel_logique_programmation_reseau_informatique_congres> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/alternateName> "FORTE 2006"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26 - 29, 2006; proceedings" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/906987> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/verification_modele> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/759003467> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630516684> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/73109158> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://viaf.org/viaf/133324811> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/genre> "Ressources Internet" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/780984625> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal Techniques for Networked and Distributed Systems - FORTE 2006" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/langages_formels_congres> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_books> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal Techniques for Networked and Distributed Systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : Proceedings" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2721018655> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos_en_linea> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocole_communication> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_communication_networks> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_paris_france> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/reseau_petri> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/systeme_embarque> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/methodes_formelles_informatique_congres> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocoles_de_reseaux_d_ordinateurs_congres> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642149996> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos_en_linea> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85094982> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nb2006022883> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_26_2006_09_26_29_paris> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642207408> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/315937153> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/specification_formelle> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/872279> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/information_repartie> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79054943> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2726724289> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/formal_methods_computer_science> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/name> "Formal techniques for networked and distributed systems - FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 ; proceedings" .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/318301611> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/workExample> <http://www.worldcat.org/oclc/300268072> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/457549747#Organization/forte_&lt_26_2006_paris&gt> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/methode_formelle> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102934> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_2006_2006_paris_france> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/alternateName> "26th IFIP WG 6.1 International Conference"@en .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/alternateName> "26th IFIP WG 6.1 International Conference" .
<http://worldcat.org/entity/work/id/457549747> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique_repartie> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocole_reseau> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/457549747#Topic/reseau_d_ordinateurs> .
<http://worldcat.org/entity/work/id/457549747> <http://schema.org/about> <http://id.worldcat.org/fast/906956> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/ifip_wg_6_1_international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> <http://schema.org/name> "IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (26 2006.09.26-29 Paris)" .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/ifip_wg_6_1_international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/ifip_wg_6_1_international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_09_26_29_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/traitement_reparti_congres> <http://schema.org/name> "Traitement réparti Congrès." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/protocole_reseau> <http://schema.org/name> "protocole réseau." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocole_reseau> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/457549747#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/457549747#Topic/reseau_d_ordinateurs> <http://schema.org/name> "Réseau d'ordinateurs." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/reseau_d_ordinateurs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Organization/forte_&lt_26_2006_paris&gt> <http://schema.org/name> "FORTE. &lt;26, 2006, Paris&gt;." .
<http://experiment.worldcat.org/entity/work/data/457549747#Organization/forte_&lt_26_2006_paris&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/langages_formels_congres> <http://schema.org/name> "Langages formels Congrès." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/langages_formels_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/457549747.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/457549747> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_2006_2006_paris_france> <http://schema.org/name> "FORTE 2006 (2006 : Paris, France)" .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_2006_2006_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_2006_2006_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_26_2006_09_26_29_paris> <http://schema.org/name> "FORTE (26 2006.09.26-29 Paris)" .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_26_2006_09_26_29_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_26_2006_09_26_29_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocoles_de_reseaux_d_ordinateurs_congres> <http://schema.org/name> "Protocoles de réseaux d'ordinateurs Congrès." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocoles_de_reseaux_d_ordinateurs_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos_en_linea> <http://schema.org/name> "Protocolos de comunicación Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos> <http://schema.org/name> "Protocolos de comunicación Congresos." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/systeme_embarque> <http://schema.org/name> "système embarqué" .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/systeme_embarque> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_network_protocols> <http://schema.org/name> "Computer network protocols." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_network_protocols> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/reseau_petri> <http://schema.org/name> "réseau Petri." .
<http://experiment.worldcat.org/entity/work/data/457549747#Topic/reseau_petri> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .