Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II

Detalles Bibliográficos
Autores principales: Chaudhuri, Swarat, Farzan, Azadeh
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756937
_version_ 1780969857942028288
author Chaudhuri, Swarat
Farzan, Azadeh
author_facet Chaudhuri, Swarat
Farzan, Azadeh
author_sort Chaudhuri, Swarat
collection CERN
id cern-2756937
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27569372021-04-21T16:41:34Zhttp://cds.cern.ch/record/2756937engChaudhuri, SwaratFarzan, AzadehComputer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part IIXXSpringer International Publishing AGoai:cds.cern.ch:27569372016
spellingShingle XX
Chaudhuri, Swarat
Farzan, Azadeh
Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
title Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
title_full Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
title_fullStr Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
title_full_unstemmed Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
title_short Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
title_sort computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part ii
topic XX
url http://cds.cern.ch/record/2756937
work_keys_str_mv AT chaudhuriswarat computeraidedverification28thinternationalconferencecav2016torontooncanadajuly17232016proceedingspartii
AT farzanazadeh computeraidedverification28thinternationalconferencecav2016torontooncanadajuly17232016proceedingspartii

Ejemplares similares