%0 Journal Article %1 journals/itsm/KianfarFF13 %A Kianfar, Roozbeh %A Falcone, Paolo %A Fredriksson, Jonas %D 2013 %J IEEE Intell. Transport. Syst. Mag. %K dblp %N 4 %P 73-86 %T Safety Verification of Automated Driving Systems. %U http://dblp.uni-trier.de/db/journals/itsm/itsm5.html#KianfarFF13 %V 5

@article{journals/itsm/KianfarFF13, added-at = {2013-11-21T00:00:00.000+0100}, author = {Kianfar, Roozbeh and Falcone, Paolo and Fredriksson, Jonas}, biburl = {https://www.bibsonomy.org/bibtex/25d171d4d9fa0a3a0384101a30072c2e6/dblp}, ee = {http://dx.doi.org/10.1109/MITS.2013.2278405}, interhash = {2fda5bce6ee35a0a7e6f8c0bc94c02dd}, intrahash = {5d171d4d9fa0a3a0384101a30072c2e6}, journal = {IEEE Intell. Transport. Syst. Mag.}, keywords = {dblp}, number = 4, pages = {73-86}, timestamp = {2013-11-21T11:32:44.000+0100}, title = {Safety Verification of Automated Driving Systems.}, url = {http://dblp.uni-trier.de/db/journals/itsm/itsm5.html#KianfarFF13}, volume = 5, year = 2013 }