Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings

Detalles Bibliográficos
Autores principales: Jansen, David N, Prabhakar, Pavithra
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764244
_version_ 1780971088422895616
author Jansen, David N
Prabhakar, Pavithra
author_facet Jansen, David N
Prabhakar, Pavithra
author_sort Jansen, David N
collection CERN
id cern-2764244
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27642442021-04-21T16:38:13Zhttp://cds.cern.ch/record/2764244engJansen, David NPrabhakar, PavithraFormal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27642442018
spellingShingle XX
Jansen, David N
Prabhakar, Pavithra
Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
title Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
title_full Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
title_fullStr Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
title_full_unstemmed Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
title_short Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
title_sort formal modeling and analysis of timed systems: 16th international conference, formats 2018, beijing, china, september 4-6, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2764244
work_keys_str_mv AT jansendavidn formalmodelingandanalysisoftimedsystems16thinternationalconferenceformats2018beijingchinaseptember462018proceedings
AT prabhakarpavithra formalmodelingandanalysisoftimedsystems16thinternationalconferenceformats2018beijingchinaseptember462018proceedings

Ejemplares similares