@inproceedings{DBLP:conf/icfem/HilscherLOR11,
  author       = {Martin Hilscher and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog and
                  Anders P. Ravn},
  editor       = {Shengchao Qin and
                  Zongyan Qiu},
  title        = {An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres},
  booktitle    = {Formal Methods and Software Engineering - 13th International Conference
                  on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6991},
  pages        = {404--419},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24559-6\_28},
  doi          = {10.1007/978-3-642-24559-6\_28},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/HilscherLOR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QMHgCXEFGwNvPEoHw","bibbaseid":"hilscher-linker-olderog-ravn-anabstractmodelforprovingsafetyofmultilanetrafficmanoeuvres-2011","author_short":["Hilscher, M.","Linker, S.","Olderog, E.","Ravn, A. P."],"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":[]},{"firstnames":["Anders","P."],"propositions":[],"lastnames":["Ravn"],"suffixes":[]}],"editor":[{"firstnames":["Shengchao"],"propositions":[],"lastnames":["Qin"],"suffixes":[]},{"firstnames":["Zongyan"],"propositions":[],"lastnames":["Qiu"],"suffixes":[]}],"title":"An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres","booktitle":"Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings","series":"Lecture Notes in Computer Science","volume":"6991","pages":"404–419","publisher":"Springer","year":"2011","url":"https://doi.org/10.1007/978-3-642-24559-6\\_28","doi":"10.1007/978-3-642-24559-6_28","timestamp":"Fri, 27 Dec 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icfem/HilscherLOR11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icfem/HilscherLOR11,\n author = {Martin Hilscher and\n Sven Linker and\n Ernst{-}R{\\\"{u}}diger Olderog and\n Anders P. Ravn},\n editor = {Shengchao Qin and\n Zongyan Qiu},\n title = {An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres},\n booktitle = {Formal Methods and Software Engineering - 13th International Conference\n on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,\n 2011. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {6991},\n pages = {404--419},\n publisher = {Springer},\n year = {2011},\n url = {https://doi.org/10.1007/978-3-642-24559-6\\_28},\n doi = {10.1007/978-3-642-24559-6\\_28},\n timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icfem/HilscherLOR11.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hilscher, M.","Linker, S.","Olderog, E.","Ravn, A. P."],"editor_short":["Qin, S.","Qiu, Z."],"key":"DBLP:conf/icfem/HilscherLOR11","id":"DBLP:conf/icfem/HilscherLOR11","bibbaseid":"hilscher-linker-olderog-ravn-anabstractmodelforprovingsafetyofmultilanetrafficmanoeuvres-2011","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-24559-6\\_28"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["abstract","model","proving","safety","multi","lane","traffic","manoeuvres","hilscher","linker","olderog","ravn"],"title":"An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres","year":2011}