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
Autores principales: | , |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2016
|
Materias: | |
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 |