Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings

Detalles Bibliográficos
Autores principales: Lahiri, Shuvendu, Reger, Giles
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764247
_version_ 1780971089157947392
author Lahiri, Shuvendu
Reger, Giles
author_facet Lahiri, Shuvendu
Reger, Giles
author_sort Lahiri, Shuvendu
collection CERN
id cern-2764247
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer International Publishing AG
record_format invenio
spelling cern-27642472021-04-21T16:38:13Zhttp://cds.cern.ch/record/2764247engLahiri, ShuvenduReger, GilesRuntime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27642472017
spellingShingle XX
Lahiri, Shuvendu
Reger, Giles
Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
title Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
title_full Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
title_fullStr Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
title_full_unstemmed Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
title_short Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
title_sort runtime verification: 17th international conference, rv 2017, seattle, wa, usa, september 13-16, 2017, proceedings
topic XX
url http://cds.cern.ch/record/2764247
work_keys_str_mv AT lahirishuvendu runtimeverification17thinternationalconferencerv2017seattlewausaseptember13162017proceedings
AT regergiles runtimeverification17thinternationalconferencerv2017seattlewausaseptember13162017proceedings

Ejemplares similares