%0 Conference Paper %1 conf/icfem/HilscherLOR11 %A Hilscher, Martin %A Linker, Sven %A Olderog, Ernst-Rüdiger %A Ravn, Anders P. %B ICFEM %D 2011 %E Qin, Shengchao %E Qiu, Zongyan %I Springer %K dblp %P 404-419 %T An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2011.html#HilscherLOR11 %V 6991 %@ 978-3-642-24558-9

@inproceedings{conf/icfem/HilscherLOR11, added-at = {2019-12-27T00:00:00.000+0100}, author = {Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger and Ravn, Anders P.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/220c321164b30e5fa91d55f1c01ba7008/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2011}, editor = {Qin, Shengchao and Qiu, Zongyan}, ee = {https://doi.org/10.1007/978-3-642-24559-6_28}, interhash = {9c8a6446a522f93a1146f8c93cb4b1df}, intrahash = {20c321164b30e5fa91d55f1c01ba7008}, isbn = {978-3-642-24558-9}, keywords = {dblp}, pages = {404-419}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-09T08:11:28.000+0100}, title = {An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2011.html#HilscherLOR11}, volume = 6991, year = 2011 }