%0 Conference Paper %1 conf/safecomp/GhadhabJKKV17 %A Ghadhab, Majdi %A Junges, Sebastian %A Katoen, Joost-Pieter %A Kuntz, Matthias %A Volk, Matthias %B SAFECOMP %D 2017 %E Tonetta, Stefano %E Schoitsch, Erwin %E Bitsch, Friedemann %I Springer %K %P 3-19 %T Model-Based Safety Analysis for Vehicle Guidance Systems. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2017.html#GhadhabJKKV17 %V 10488 %@ 978-3-319-66266-4

@inproceedings{conf/safecomp/GhadhabJKKV17, added-at = {2023-12-12T20:09:46.000+0100}, author = {Ghadhab, Majdi and Junges, Sebastian and Katoen, Joost-Pieter and Kuntz, Matthias and Volk, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2a1e0d9de5cda0184ed56e8be21a2c182/admin}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2017}, editor = {Tonetta, Stefano and Schoitsch, Erwin and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-319-66266-4_1}, interhash = {2b6338e8111695fe4bf4d0862bfd02ad}, intrahash = {a1e0d9de5cda0184ed56e8be21a2c182}, isbn = {978-3-319-66266-4}, keywords = {}, pages = {3-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:09:46.000+0100}, title = {Model-Based Safety Analysis for Vehicle Guidance Systems.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2017.html#GhadhabJKKV17}, volume = 10488, year = 2017 }