@inproceedings{DBLP:conf/setta/BochmannHLO15,
  author       = {Gregor von Bochmann and
                  Martin Hilscher and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Xuandong Li and
                  Zhiming Liu and
                  Wang Yi},
  title        = {Synthesizing Controllers for Multi-lane Traffic Maneuvers},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - First International Symposium, {SETTA} 2015, Nanjing, China, November
                  4-6, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9409},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25942-0\_5},
  doi          = {10.1007/978-3-319-25942-0\_5},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/BochmannHLO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2w5vBo6AD57TwJ7MQ","bibbaseid":"vonbochmann-hilscher-linker-olderog-synthesizingcontrollersformultilanetrafficmaneuvers-2015","author_short":["von Bochmann, G.","Hilscher, M.","Linker, S.","Olderog, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gregor"],"propositions":["von"],"lastnames":["Bochmann"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Hilscher"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Ernst-Rüdiger"],"propositions":[],"lastnames":["Olderog"],"suffixes":[]}],"editor":[{"firstnames":["Xuandong"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Zhiming"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Wang"],"propositions":[],"lastnames":["Yi"],"suffixes":[]}],"title":"Synthesizing Controllers for Multi-lane Traffic Maneuvers","booktitle":"Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings","series":"Lecture Notes in Computer Science","volume":"9409","pages":"71–86","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-25942-0\\_5","doi":"10.1007/978-3-319-25942-0_5","timestamp":"Fri, 27 Dec 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/setta/BochmannHLO15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/setta/BochmannHLO15,\n author = {Gregor von Bochmann and\n Martin Hilscher and\n Sven Linker and\n Ernst{-}R{\\\"{u}}diger Olderog},\n editor = {Xuandong Li and\n Zhiming Liu and\n Wang Yi},\n title = {Synthesizing Controllers for Multi-lane Traffic Maneuvers},\n booktitle = {Dependable Software Engineering: Theories, Tools, and Applications\n - First International Symposium, {SETTA} 2015, Nanjing, China, November\n 4-6, 2015, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9409},\n pages = {71--86},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-25942-0\\_5},\n doi = {10.1007/978-3-319-25942-0\\_5},\n timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/setta/BochmannHLO15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["von Bochmann, G.","Hilscher, M.","Linker, S.","Olderog, E."],"editor_short":["Li, X.","Liu, Z.","Yi, W."],"key":"DBLP:conf/setta/BochmannHLO15","id":"DBLP:conf/setta/BochmannHLO15","bibbaseid":"vonbochmann-hilscher-linker-olderog-synthesizingcontrollersformultilanetrafficmaneuvers-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-25942-0\\_5"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["synthesizing","controllers","multi","lane","traffic","maneuvers","von bochmann","hilscher","linker","olderog"],"title":"Synthesizing Controllers for Multi-lane Traffic Maneuvers","year":2015}