Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings

Detalles Bibliográficos
Autores principales: Pérez, Jorge A, Yoshida, Nobuko
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755240
_version_ 1780969595976286208
author Pérez, Jorge A
Yoshida, Nobuko
author_facet Pérez, Jorge A
Yoshida, Nobuko
author_sort Pérez, Jorge A
collection CERN
id cern-2755240
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27552402021-04-21T16:42:40Zhttp://cds.cern.ch/record/2755240engPérez, Jorge AYoshida, NobukoFormal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27552402019
spellingShingle XX
Pérez, Jorge A
Yoshida, Nobuko
Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
title Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
title_full Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
title_fullStr Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
title_full_unstemmed Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
title_short Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
title_sort formal techniques for distributed objects, components, and systems: 39th ifip wg 6 1 international conference, forte 2019, held as part of the 14th international federated conference on distributed computing techniques, discotec 2019, kongens lyngby, denmark, june 17-21, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755240
work_keys_str_mv AT perezjorgea formaltechniquesfordistributedobjectscomponentsandsystems39thifipwg61internationalconferenceforte2019heldaspartofthe14thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2019kongenslyngbydenmarkjune17212019proceedings
AT yoshidanobuko formaltechniquesfordistributedobjectscomponentsandsystems39thifipwg61internationalconferenceforte2019heldaspartofthe14thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2019kongenslyngbydenmarkjune17212019proceedings

Ejemplares similares