%0 Journal Article %1 journals/afp/RizaldiI20 %A Rizaldi, Albert %A Immler, Fabian %D 2020 %J Arch. Formal Proofs %K dblp %T A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. %U http://dblp.uni-trier.de/db/journals/afp/afp2020.html#RizaldiI20 %V 2020

@article{journals/afp/RizaldiI20, added-at = {2020-06-15T00:00:00.000+0200}, author = {Rizaldi, Albert and Immler, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/2ee264da88eb09580efabc5923a887a0b/dblp}, ee = {https://www.isa-afp.org/entries/Safe_Distance.html}, interhash = {963d0a8f3886c1570c3a158b3e2d8713}, intrahash = {ee264da88eb09580efabc5923a887a0b}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-06-16T12:01:07.000+0200}, title = {A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2020.html#RizaldiI20}, volume = 2020, year = 2020 }