Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings

Detalles Bibliográficos
Autores principales: änzle, Martin, Markey, Nicolas
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757503
_version_ 1780969951128977408
author änzle, Martin
Markey, Nicolas
author_facet änzle, Martin
Markey, Nicolas
author_sort änzle, Martin
collection CERN
id cern-2757503
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27575032021-04-21T16:41:13Zhttp://cds.cern.ch/record/2757503engänzle, MartinMarkey, NicolasFormal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27575032016
spellingShingle XX
änzle, Martin
Markey, Nicolas
Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings
title Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings
title_full Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings
title_fullStr Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings
title_full_unstemmed Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings
title_short Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings
title_sort formal modeling and analysis of timed systems: 14th international conference, formats 2016, quebec, qc, canada, august 24-26, 2016, proceedings
topic XX
url http://cds.cern.ch/record/2757503
work_keys_str_mv AT anzlemartin formalmodelingandanalysisoftimedsystems14thinternationalconferenceformats2016quebecqccanadaaugust24262016proceedings
AT markeynicolas formalmodelingandanalysisoftimedsystems14thinternationalconferenceformats2016quebecqccanadaaugust24262016proceedings

Ejemplares similares