Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings

Detalles Bibliográficos
Autores principales: Graf, Susanne, Viswanathan, Mahesh
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757249
_version_ 1780969924864245760
author Graf, Susanne
Viswanathan, Mahesh
author_facet Graf, Susanne
Viswanathan, Mahesh
author_sort Graf, Susanne
collection CERN
id cern-2757249
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27572492021-04-21T16:41:18Zhttp://cds.cern.ch/record/2757249engGraf, SusanneViswanathan, MaheshFormal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27572492015
spellingShingle XX
Graf, Susanne
Viswanathan, Mahesh
Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
title Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
title_full Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
title_fullStr Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
title_full_unstemmed Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
title_short Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
title_sort formal techniques for distributed objects, components, and systems: 35th ifip wg 6. 1 international conference, forte 2015, held as part of the 10th international federated conference on distributed computing techniques, discotec 2015, grenoble, france, june 2-4, 2015, proceedings
topic XX
url http://cds.cern.ch/record/2757249
work_keys_str_mv AT grafsusanne formaltechniquesfordistributedobjectscomponentsandsystems35thifipwg61internationalconferenceforte2015heldaspartofthe10thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2015grenoblefrancejune242015proceedings
AT viswanathanmahesh formaltechniquesfordistributedobjectscomponentsandsystems35thifipwg61internationalconferenceforte2015heldaspartofthe10thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2015grenoblefrancejune242015proceedings

Ejemplares similares