@inproceedings{DBLP:conf/birthday/HilscherLO13,
  author       = {Martin Hilscher and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Proving Safety of Traffic Manoeuvres on Country Roads},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8051},
  pages        = {196--212},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39698-4\_12},
  doi          = {10.1007/978-3-642-39698-4\_12},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/HilscherLO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"XHryuAuycCw5v2MbX","bibbaseid":"hilscher-linker-olderog-provingsafetyoftrafficmanoeuvresoncountryroads-2013","author_short":["Hilscher, M.","Linker, S.","Olderog, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Hilscher"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Ernst-Rüdiger"],"propositions":[],"lastnames":["Olderog"],"suffixes":[]}],"editor":[{"firstnames":["Zhiming"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Jim"],"propositions":[],"lastnames":["Woodcock"],"suffixes":[]},{"firstnames":["Huibiao"],"propositions":[],"lastnames":["Zhu"],"suffixes":[]}],"title":"Proving Safety of Traffic Manoeuvres on Country Roads","booktitle":"Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday","series":"Lecture Notes in Computer Science","volume":"8051","pages":"196–212","publisher":"Springer","year":"2013","url":"https://doi.org/10.1007/978-3-642-39698-4\\_12","doi":"10.1007/978-3-642-39698-4_12","timestamp":"Fri, 17 Feb 2023 09:02:00 +0100","biburl":"https://dblp.org/rec/conf/birthday/HilscherLO13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/birthday/HilscherLO13,\n author = {Martin Hilscher and\n Sven Linker and\n Ernst{-}R{\\\"{u}}diger Olderog},\n editor = {Zhiming Liu and\n Jim Woodcock and\n Huibiao Zhu},\n title = {Proving Safety of Traffic Manoeuvres on Country Roads},\n booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng\n He on the Occasion of His 70th Birthday},\n series = {Lecture Notes in Computer Science},\n volume = {8051},\n pages = {196--212},\n publisher = {Springer},\n year = {2013},\n url = {https://doi.org/10.1007/978-3-642-39698-4\\_12},\n doi = {10.1007/978-3-642-39698-4\\_12},\n timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},\n biburl = {https://dblp.org/rec/conf/birthday/HilscherLO13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hilscher, M.","Linker, S.","Olderog, E."],"editor_short":["Liu, Z.","Woodcock, J.","Zhu, H."],"key":"DBLP:conf/birthday/HilscherLO13","id":"DBLP:conf/birthday/HilscherLO13","bibbaseid":"hilscher-linker-olderog-provingsafetyoftrafficmanoeuvresoncountryroads-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-39698-4\\_12"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["proving","safety","traffic","manoeuvres","country","roads","hilscher","linker","olderog"],"title":"Proving Safety of Traffic Manoeuvres on Country Roads","year":2013}