%0 Journal Article %1 journals/tcs/Schwammberger18 %A Schwammberger, Maike %D 2018 %J Theor. Comput. Sci. %K dblp %P 143-169 %T An abstract model for proving safety of autonomous urban traffic. %U http://dblp.uni-trier.de/db/journals/tcs/tcs744.html#Schwammberger18 %V 744

@article{journals/tcs/Schwammberger18, added-at = {2018-09-28T00:00:00.000+0200}, author = {Schwammberger, Maike}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c1588a3cd6b6ee4d64b8601be3c3e3f1/dblp}, ee = {https://doi.org/10.1016/j.tcs.2018.05.028}, interhash = {59d06111e29294a6f8709bd554e32a51}, intrahash = {c1588a3cd6b6ee4d64b8601be3c3e3f1}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {143-169}, timestamp = {2019-09-27T08:04:33.000+0200}, title = {An abstract model for proving safety of autonomous urban traffic.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs744.html#Schwammberger18}, volume = 744, year = 2018 }