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

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/2756751
_version_ 1780969817971359744
author Chaudhuri, Swarat
Farzan, Azadeh
author_facet Chaudhuri, Swarat
Farzan, Azadeh
author_sort Chaudhuri, Swarat
collection CERN
id cern-2756751
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27567512021-04-21T16:41:44Zhttp://cds.cern.ch/record/2756751engChaudhuri, SwaratFarzan, AzadehComputer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part IXXSpringer International Publishing AGoai:cds.cern.ch:27567512016
spellingShingle XX
Chaudhuri, Swarat
Farzan, Azadeh
Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
title Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
title_full Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
title_fullStr Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
title_full_unstemmed Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
title_short Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
title_sort computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i
topic XX
url http://cds.cern.ch/record/2756751
work_keys_str_mv AT chaudhuriswarat computeraidedverification28thinternationalconferencecav2016torontooncanadajuly17232016proceedingsparti
AT farzanazadeh computeraidedverification28thinternationalconferencecav2016torontooncanadajuly17232016proceedingsparti

Ejemplares similares