Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. von Bochmann, G. & Probst, D. K., editors Volume 663of Lecture Notes in Computer ScienceSpringer. 1993.
Paper doi bibtex @proceedings{DBLP:conf/cav/1992,
editor = {Gregor von Bochmann and
David K. Probst},
title = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56496-9},
doi = {10.1007/3-540-56496-9},
isbn = {3-540-56496-9},
timestamp = {Sat, 20 May 2017 15:32:45 +0200},
biburl = {https://dblp.org/rec/bib/conf/cav/1992},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"H3pB4h38xgSJbuWT3","bibbaseid":"vonbochmann-probst-computeraidedverificationfourthinternationalworkshopcav92montrealcanadajune29july11992proceedings-1993","downloads":0,"creationDate":"2018-07-08T21:22:38.943Z","title":"Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings","author_short":null,"year":1993,"bibtype":"proceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Gregor"],"propositions":["von"],"lastnames":["Bochmann"],"suffixes":[]},{"firstnames":["David","K."],"propositions":[],"lastnames":["Probst"],"suffixes":[]}],"title":"Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings","series":"Lecture Notes in Computer Science","volume":"663","publisher":"Springer","year":"1993","url":"https://doi.org/10.1007/3-540-56496-9","doi":"10.1007/3-540-56496-9","isbn":"3-540-56496-9","timestamp":"Sat, 20 May 2017 15:32:45 +0200","biburl":"https://dblp.org/rec/bib/conf/cav/1992","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cav/1992,\n editor = {Gregor von Bochmann and\n David K. Probst},\n title = {Computer Aided Verification, Fourth International Workshop, {CAV}\n '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {663},\n publisher = {Springer},\n year = {1993},\n url = {https://doi.org/10.1007/3-540-56496-9},\n doi = {10.1007/3-540-56496-9},\n isbn = {3-540-56496-9},\n timestamp = {Sat, 20 May 2017 15:32:45 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cav/1992},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["von Bochmann, G.","Probst, D. K."],"key":"DBLP:conf/cav/1992","id":"DBLP:conf/cav/1992","bibbaseid":"vonbochmann-probst-computeraidedverificationfourthinternationalworkshopcav92montrealcanadajune29july11992proceedings-1993","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-56496-9"},"downloads":0,"html":""},"search_terms":["computer","aided","verification","fourth","international","workshop","cav","montreal","canada","june","july","1992","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}