Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II

Detalles Bibliográficos
Autores principales: Majumdar, Rupak, Kunčak, Viktor
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756933
_version_ 1780969857049690112
author Majumdar, Rupak
Kunčak, Viktor
author_facet Majumdar, Rupak
Kunčak, Viktor
author_sort Majumdar, Rupak
collection CERN
id cern-2756933
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer International Publishing AG
record_format invenio
spelling cern-27569332021-04-21T16:41:34Zhttp://cds.cern.ch/record/2756933engMajumdar, RupakKunčak, ViktorComputer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part IIXXSpringer International Publishing AGoai:cds.cern.ch:27569332017
spellingShingle XX
Majumdar, Rupak
Kunčak, Viktor
Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
title Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
title_full Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
title_fullStr Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
title_full_unstemmed Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
title_short Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
title_sort computer aided verification: 29th international conference, cav 2017, heidelberg, germany, july 24-28, 2017, proceedings, part ii
topic XX
url http://cds.cern.ch/record/2756933
work_keys_str_mv AT majumdarrupak computeraidedverification29thinternationalconferencecav2017heidelberggermanyjuly24282017proceedingspartii
AT kuncakviktor computeraidedverification29thinternationalconferencecav2017heidelberggermanyjuly24282017proceedingspartii

Ejemplares similares