%0 Conference Paper %1 conf/safecomp/Abdulkhaleq015 %A Abdulkhaleq, Asim %A Wagner, Stefan %B SAFECOMP %D 2015 %E Koornneef, Floor %E van Gulijk, Coen %I Springer %K dblp %P 121-134 %T Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015.html#Abdulkhaleq015 %V 9337 %@ 978-3-319-24254-5

@inproceedings{conf/safecomp/Abdulkhaleq015, added-at = {2019-06-02T00:00:00.000+0200}, author = {Abdulkhaleq, Asim and Wagner, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/29f3f598c04e2995f4b5a9144a5ed506c/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2015}, editor = {Koornneef, Floor and van Gulijk, Coen}, ee = {https://www.wikidata.org/entity/Q59900020}, interhash = {2a403b0c89edc1982271c8be8aacd77d}, intrahash = {9f3f598c04e2995f4b5a9144a5ed506c}, isbn = {978-3-319-24254-5}, keywords = {dblp}, pages = {121-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:41:53.000+0200}, title = {Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015.html#Abdulkhaleq015}, volume = 9337, year = 2015 }