Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Jr., W. A. H. & Somenzi, F., editors Volume 2725of Lecture Notes in Computer ScienceSpringer. 2003. Paper doi bibtex @proceedings{DBLP:conf/cav/2003,
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b11831},
doi = {10.1007/b11831},
isbn = {3-540-40524-0},
timestamp = {Mon, 29 May 2017 16:53:43 +0200},
biburl = {https://dblp.org/rec/bib/conf/cav/2003},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"CWc5nxMp6c2A9yrox","bibbaseid":"jr-somenzi-computeraidedverification15thinternationalconferencecav2003bouldercousajuly8122003proceedings-2003","downloads":0,"creationDate":"2018-07-08T21:22:38.896Z","title":"Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings","author_short":null,"year":2003,"bibtype":"proceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Warren","A.","Hunt"],"propositions":[],"lastnames":["Jr."],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Somenzi"],"suffixes":[]}],"title":"Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings","series":"Lecture Notes in Computer Science","volume":"2725","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/b11831","doi":"10.1007/b11831","isbn":"3-540-40524-0","timestamp":"Mon, 29 May 2017 16:53:43 +0200","biburl":"https://dblp.org/rec/bib/conf/cav/2003","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cav/2003,\n editor = {Warren A. Hunt Jr. and\n Fabio Somenzi},\n title = {Computer Aided Verification, 15th International Conference, {CAV}\n 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2725},\n publisher = {Springer},\n year = {2003},\n url = {https://doi.org/10.1007/b11831},\n doi = {10.1007/b11831},\n isbn = {3-540-40524-0},\n timestamp = {Mon, 29 May 2017 16:53:43 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cav/2003},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Jr., W. A. H.","Somenzi, F."],"key":"DBLP:conf/cav/2003","id":"DBLP:conf/cav/2003","bibbaseid":"jr-somenzi-computeraidedverification15thinternationalconferencecav2003bouldercousajuly8122003proceedings-2003","role":"editor","urls":{"Paper":"https://doi.org/10.1007/b11831"},"downloads":0,"html":""},"search_terms":["computer","aided","verification","15th","international","conference","cav","2003","boulder","usa","july","2003","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}