Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings

Detalles Bibliográficos
Autores principales: Sankaranarayanan, Sriram, Vicario, Enrico
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756958
_version_ 1780969862445662208
author Sankaranarayanan, Sriram
Vicario, Enrico
author_facet Sankaranarayanan, Sriram
Vicario, Enrico
author_sort Sankaranarayanan, Sriram
collection CERN
id cern-2756958
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27569582021-04-21T16:41:33Zhttp://cds.cern.ch/record/2756958engSankaranarayanan, SriramVicario, EnricoFormal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27569582015
spellingShingle XX
Sankaranarayanan, Sriram
Vicario, Enrico
Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
title Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
title_full Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
title_fullStr Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
title_full_unstemmed Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
title_short Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
title_sort formal modeling and analysis of timed systems: 13th international conference, formats 2015, madrid, spain, september 2-4, 2015, proceedings
topic XX
url http://cds.cern.ch/record/2756958
work_keys_str_mv AT sankaranarayanansriram formalmodelingandanalysisoftimedsystems13thinternationalconferenceformats2015madridspainseptember242015proceedings
AT vicarioenrico formalmodelingandanalysisoftimedsystems13thinternationalconferenceformats2015madridspainseptember242015proceedings

Ejemplares similares