Cargando…

Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings

Detalles Bibliográficos
Autores principales: Albert, Elvira, Lanese, Ivan
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757040
_version_ 1780969880137236480
author Albert, Elvira
Lanese, Ivan
author_facet Albert, Elvira
Lanese, Ivan
author_sort Albert, Elvira
collection CERN
id cern-2757040
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27570402021-04-21T16:41:29Zhttp://cds.cern.ch/record/2757040engAlbert, ElviraLanese, IvanFormal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27570402016
spellingShingle XX
Albert, Elvira
Lanese, Ivan
Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
title Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
title_full Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
title_fullStr Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
title_full_unstemmed Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
title_short Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
title_sort formal techniques for distributed objects, components, and systems: 36th ifip wg 6. 1 international conference, forte 2016, held as part of the 11th international federated conference on distributed computing techniques, discotec 2016, heraklion, crete, greece, june 6-9, 2016, proceedings
topic XX
url http://cds.cern.ch/record/2757040
work_keys_str_mv AT albertelvira formaltechniquesfordistributedobjectscomponentsandsystems36thifipwg61internationalconferenceforte2016heldaspartofthe11thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2016heraklioncretegreecejune692016proceedings
AT laneseivan formaltechniquesfordistributedobjectscomponentsandsystems36thifipwg61internationalconferenceforte2016heldaspartofthe11thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2016heraklioncretegreecejune692016proceedings