Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings

Detalles Bibliográficos
Autores principales: Colombo, Christian, Leucker, Martin
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764269
_version_ 1780971095151607808
author Colombo, Christian
Leucker, Martin
author_facet Colombo, Christian
Leucker, Martin
author_sort Colombo, Christian
collection CERN
id cern-2764269
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27642692021-04-21T16:38:13Zhttp://cds.cern.ch/record/2764269engColombo, ChristianLeucker, MartinRuntime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27642692018
spellingShingle XX
Colombo, Christian
Leucker, Martin
Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
title Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
title_full Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
title_fullStr Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
title_full_unstemmed Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
title_short Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
title_sort runtime verification: 18th international conference, rv 2018, limassol, cyprus, november 10-13, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2764269
work_keys_str_mv AT colombochristian runtimeverification18thinternationalconferencerv2018limassolcyprusnovember10132018proceedings
AT leuckermartin runtimeverification18thinternationalconferencerv2018limassolcyprusnovember10132018proceedings

Ejemplares similares