Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings

Detalles Bibliográficos
Autores principales: Bartocci, Ezio, Majumdar, Rupak
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761529
_version_ 1780970542259503104
author Bartocci, Ezio
Majumdar, Rupak
author_facet Bartocci, Ezio
Majumdar, Rupak
author_sort Bartocci, Ezio
collection CERN
id cern-2761529
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27615292021-04-21T16:39:35Zhttp://cds.cern.ch/record/2761529engBartocci, EzioMajumdar, RupakRuntime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27615292015
spellingShingle XX
Bartocci, Ezio
Majumdar, Rupak
Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
title Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
title_full Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
title_fullStr Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
title_full_unstemmed Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
title_short Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
title_sort runtime verification: 6th international conference, rv 2015, vienna, austria, september 22-25, 2015 proceedings
topic XX
url http://cds.cern.ch/record/2761529
work_keys_str_mv AT bartocciezio runtimeverification6thinternationalconferencerv2015viennaaustriaseptember22252015proceedings
AT majumdarrupak runtimeverification6thinternationalconferencerv2015viennaaustriaseptember22252015proceedings

Ejemplares similares