Cargando…

Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers

Detalles Bibliográficos
Autores principales: Liu, Shaoying, Duan, Zhenhua
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761365
_version_ 1780970503770472448
author Liu, Shaoying
Duan, Zhenhua
author_facet Liu, Shaoying
Duan, Zhenhua
author_sort Liu, Shaoying
collection CERN
id cern-2761365
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27613652021-04-21T16:39:43Zhttp://cds.cern.ch/record/2761365engLiu, ShaoyingDuan, ZhenhuaStructured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27613652016
spellingShingle XX
Liu, Shaoying
Duan, Zhenhua
Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
title Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
title_full Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
title_fullStr Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
title_full_unstemmed Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
title_short Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
title_sort structured object-oriented formal language and method: 5th international workshop, sofl+msvl 2015, paris, france, november 6, 2015 revised selected papers
topic XX
url http://cds.cern.ch/record/2761365
work_keys_str_mv AT liushaoying structuredobjectorientedformallanguageandmethod5thinternationalworkshopsoflmsvl2015parisfrancenovember62015revisedselectedpapers
AT duanzhenhua structuredobjectorientedformallanguageandmethod5thinternationalworkshopsoflmsvl2015parisfrancenovember62015revisedselectedpapers