Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers

Detalles Bibliográficos
Autores principales: Tian, Cong, Nagoya, Fumiko, Liu, Shaoying, Duan, Zhenhua
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761321
_version_ 1780970494045978624
author Tian, Cong
Nagoya, Fumiko
Liu, Shaoying
Duan, Zhenhua
author_facet Tian, Cong
Nagoya, Fumiko
Liu, Shaoying
Duan, Zhenhua
author_sort Tian, Cong
collection CERN
id cern-2761321
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27613212021-04-21T16:39:44Zhttp://cds.cern.ch/record/2761321engTian, CongNagoya, FumikoLiu, ShaoyingDuan, ZhenhuaStructured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27613212018
spellingShingle XX
Tian, Cong
Nagoya, Fumiko
Liu, Shaoying
Duan, Zhenhua
Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
title Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
title_full Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
title_fullStr Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
title_full_unstemmed Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
title_short Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
title_sort structured object-oriented formal language and method: 7th international workshop, sofl+msvl 2017, xi'an, china, november 16, 2017, revised selected papers
topic XX
url http://cds.cern.ch/record/2761321
work_keys_str_mv AT tiancong structuredobjectorientedformallanguageandmethod7thinternationalworkshopsoflmsvl2017xianchinanovember162017revisedselectedpapers
AT nagoyafumiko structuredobjectorientedformallanguageandmethod7thinternationalworkshopsoflmsvl2017xianchinanovember162017revisedselectedpapers
AT liushaoying structuredobjectorientedformallanguageandmethod7thinternationalworkshopsoflmsvl2017xianchinanovember162017revisedselectedpapers
AT duanzhenhua structuredobjectorientedformallanguageandmethod7thinternationalworkshopsoflmsvl2017xianchinanovember162017revisedselectedpapers

Ejemplares similares