Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers

Detalles Bibliográficos
Autores principales: Miao, Huaikou, Tian, Cong, Liu, Shaoying, Duan, Zhenhua
Lenguaje:eng
Publicado: Springer International Publishing AG 2020
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2760766
_version_ 1780970409648193536
author Miao, Huaikou
Tian, Cong
Liu, Shaoying
Duan, Zhenhua
author_facet Miao, Huaikou
Tian, Cong
Liu, Shaoying
Duan, Zhenhua
author_sort Miao, Huaikou
collection CERN
id cern-2760766
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2020
publisher Springer International Publishing AG
record_format invenio
spelling cern-27607662021-04-21T16:39:59Zhttp://cds.cern.ch/record/2760766engMiao, HuaikouTian, CongLiu, ShaoyingDuan, ZhenhuaStructured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27607662020
spellingShingle XX
Miao, Huaikou
Tian, Cong
Liu, Shaoying
Duan, Zhenhua
Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
title Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
title_full Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
title_fullStr Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
title_full_unstemmed Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
title_short Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
title_sort structured object-oriented formal language and method: 9th international workshop, sofl+msvl 2019, shenzhen, china, november 5, 2019, revised selected papers
topic XX
url http://cds.cern.ch/record/2760766
work_keys_str_mv AT miaohuaikou structuredobjectorientedformallanguageandmethod9thinternationalworkshopsoflmsvl2019shenzhenchinanovember52019revisedselectedpapers
AT tiancong structuredobjectorientedformallanguageandmethod9thinternationalworkshopsoflmsvl2019shenzhenchinanovember52019revisedselectedpapers
AT liushaoying structuredobjectorientedformallanguageandmethod9thinternationalworkshopsoflmsvl2019shenzhenchinanovember52019revisedselectedpapers
AT duanzhenhua structuredobjectorientedformallanguageandmethod9thinternationalworkshopsoflmsvl2019shenzhenchinanovember52019revisedselectedpapers

Ejemplares similares