%0 Conference Paper %1 conf/sefm/TorresGF20 %A Torres, Mário Henrique Cruz %A Giacalone, Jean Pierre %A Faysal, Joelle Abou %B SEFM %D 2020 %E Cleophas, Loek %E Massink, Mieke %I Springer %K dblp %P 233-248 %T A Case Study on Formally Validating Motion Rules for Autonomous Cars. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#TorresGF20 %V 12524 %@ 978-3-030-67220-1

@inproceedings{conf/sefm/TorresGF20, added-at = {2021-01-25T00:00:00.000+0100}, author = {Torres, Mário Henrique Cruz and Giacalone, Jean Pierre and Faysal, Joelle Abou}, biburl = {https://www.bibsonomy.org/bibtex/229ccdc006a384e07769985f000708e0b/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2020w}, editor = {Cleophas, Loek and Massink, Mieke}, ee = {https://doi.org/10.1007/978-3-030-67220-1_18}, interhash = {b859b6b3b73c1613ddbe22782a3a944d}, intrahash = {29ccdc006a384e07769985f000708e0b}, isbn = {978-3-030-67220-1}, keywords = {dblp}, pages = {233-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:00.000+0200}, title = {A Case Study on Formally Validating Motion Rules for Autonomous Cars.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#TorresGF20}, volume = 12524, year = 2020 }