Linked Data Explorerhttp://worldcat.org/entity/work/id/457549747
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh2008101491
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_science
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_network_protocols
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/operating_systems
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/uml
- http://id.loc.gov/authorities/subjects/sh2008102927
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/software_engineering
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_data_processing_distributed_processing
- http://id.loc.gov/authorities/subjects/sh87007398
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/traitement_reparti_congres
- http://id.worldcat.org/fast/1046280
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos
- http://id.worldcat.org/fast/932926
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique_distribuee_langage_formel_logique_programmation_congres
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/sistemas_distribuidos_congresos_en_linea
- http://id.worldcat.org/fast/1124185
- http://id.loc.gov/authorities/subjects/sh2008104061
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/langage_formel_logique_programmation_reseau_informatique_congres
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos
- http://id.worldcat.org/fast/906987
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/verification_modele
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/langages_formels_congres
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_books
- http://id.worldcat.org/fast/1002045
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocole_communication
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocolos_de_comunicacion_congresos_en_linea
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_communication_networks
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/reseau_petri
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/systeme_embarque
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/methodes_formelles_informatique_congres
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocoles_de_reseaux_d_ordinateurs_congres
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/redes_de_ordenadores_congresos_en_linea
- http://id.loc.gov/authorities/subjects/sh85094982
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/logics_and_meanings_of_programs
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/specification_formelle
- http://id.worldcat.org/fast/872279
- http://id.loc.gov/authorities/subjects/sh85078117
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/information_repartie
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/formal_methods_computer_science
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/methode_formelle
- http://id.loc.gov/authorities/subjects/sh2008102934
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/informatique_repartie
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/protocole_reseau
- http://experiment.worldcat.org/entity/work/data/457549747#Topic/reseau_d_ordinateurs
- http://id.worldcat.org/fast/906956
http://schema.org/contributor
- http://viaf.org/viaf/149180902
- http://id.loc.gov/authorities/names/n84145129
- http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_2006_2006_paris_france
- http://viaf.org/viaf/264055629
- 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://viaf.org/viaf/133327008
- http://worldcat.org/entity/person/id/2660141270
- http://viaf.org/viaf/312855385
- http://viaf.org/viaf/133324811
- http://worldcat.org/entity/person/id/2630516684
- http://worldcat.org/entity/person/id/2721018655
- http://worldcat.org/entity/person/id/2642149996
- http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_26_2006_09_26_29_paris
- http://id.loc.gov/authorities/names/nb2006022883
- http://worldcat.org/entity/person/id/2642207408
- http://id.loc.gov/authorities/names/n79054943
- http://worldcat.org/entity/person/id/2726724289
- http://experiment.worldcat.org/entity/work/data/457549747#Organization/forte_<_26_2006_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://schema.org/creator
- http://worldcat.org/entity/person/id/2630516684
- http://experiment.worldcat.org/entity/work/data/457549747#Meeting/international_conference_on_formal_techniques_for_networked_and_distributed_systems_26_2006_paris_france
- http://experiment.worldcat.org/entity/work/data/457549747#Meeting/forte_2006_2006_paris_france
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
- "Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings"
- "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
- "Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings"
- "Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26 - 29, 2006; proceedings"
- "Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings"@en
- "Formal Techniques for Networked and Distributed Systems - FORTE 2006"
- "Formal Techniques for Networked and Distributed Systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : Proceedings"
- "Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings"@en
- "Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings"
- "Formal techniques for networked and distributed systems - FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 ; proceedings"
http://schema.org/workExample
- http://www.worldcat.org/oclc/771367458
- http://www.worldcat.org/oclc/262693284
- http://www.worldcat.org/oclc/845114430
- http://www.worldcat.org/oclc/150373310
- http://www.worldcat.org/oclc/403754388
- http://www.worldcat.org/oclc/496492238
- http://www.worldcat.org/oclc/476057106
- http://www.worldcat.org/oclc/759003467
- http://www.worldcat.org/oclc/73109158
- http://www.worldcat.org/oclc/780984625
- http://www.worldcat.org/oclc/315937153
- http://www.worldcat.org/oclc/300268072
- http://www.worldcat.org/oclc/318301611