%0 Conference Paper %1 conf/isola/NybergGLRW18 %A Nyberg, Mattias %A Gurov, Dilian %A Lidström, Christian %A Rasmusson, Andreas %A Westman, Jonas %B ISoLA (4) %D 2018 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 139-158 %T Formal Verification in Automotive Industry: Enablers and Obstacles. %U http://dblp.uni-trier.de/db/conf/isola/isola2018-4.html#NybergGLRW18 %V 11247 %@ 978-3-030-03427-6

@inproceedings{conf/isola/NybergGLRW18, added-at = {2022-01-03T00:00:00.000+0100}, author = {Nyberg, Mattias and Gurov, Dilian and Lidström, Christian and Rasmusson, Andreas and Westman, Jonas}, biburl = {https://www.bibsonomy.org/bibtex/2f54149d2e0d76a0e771c9d0fee1e3b68/dblp}, booktitle = {ISoLA (4)}, crossref = {conf/isola/2018-4}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-03427-6_14}, interhash = {693c15f25784887909895169f8860445}, intrahash = {f54149d2e0d76a0e771c9d0fee1e3b68}, isbn = {978-3-030-03427-6}, keywords = {dblp}, pages = {139-158}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:25:51.000+0200}, title = {Formal Verification in Automotive Industry: Enablers and Obstacles.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2018-4.html#NybergGLRW18}, volume = 11247, year = 2018 }