@proceedings{DBLP:conf/ssv/2011,
  editor    = {J{\"{o}}rg Brauer and
               Marco Roveri and
               Hendrik Tews},
  title     = {6th International Workshop on Systems Software Verification, {SSV}
               2011, August 26, 2011, Nijmegen, The Netherlands},
  series    = {{OASICS}},
  volume    = {24},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2012},
  isbn      = {978-3-939897-36-1},
  timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ssv/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"B5nY3MAGvxHs5g8XN","bibbaseid":"brauer-roveri-tews-6thinternationalworkshoponsystemssoftwareverificationssv2011august262011nijmegenthenetherlands-2012","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Jörg"],"propositions":[],"lastnames":["Brauer"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Hendrik"],"propositions":[],"lastnames":["Tews"],"suffixes":[]}],"title":"6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands","series":"OASICS","volume":"24","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2012","isbn":"978-3-939897-36-1","timestamp":"Tue, 11 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ssv/2011.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/ssv/2011,\n editor = {J{\\\"{o}}rg Brauer and\n Marco Roveri and\n Hendrik Tews},\n title = {6th International Workshop on Systems Software Verification, {SSV}\n 2011, August 26, 2011, Nijmegen, The Netherlands},\n series = {{OASICS}},\n volume = {24},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2012},\n isbn = {978-3-939897-36-1},\n timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ssv/2011.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Brauer, J.","Roveri, M.","Tews, H."],"key":"DBLP:conf/ssv/2011","id":"DBLP:conf/ssv/2011","bibbaseid":"brauer-roveri-tews-6thinternationalworkshoponsystemssoftwareverificationssv2011august262011nijmegenthenetherlands-2012","role":"editor","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["6th","international","workshop","systems","software","verification","ssv","2011","august","2011","nijmegen","netherlands"],"title":"6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands","year":2012}