%0 Conference Paper %1 conf/issre/RothHL15 %A Roth, Michael %A Hartoyo, Agus %A Liggesmeyer, Peter %B ISSRE Workshops %D 2015 %I IEEE Computer Society %K %P 144-151 %T Efficient reachability graph development for qualitive analysis of state/event fault trees. %U http://dblp.uni-trier.de/db/conf/issre/issre2015w.html#RothHL15 %@ 978-1-5090-1944-1

@inproceedings{conf/issre/RothHL15, added-at = {2023-12-12T18:37:29.000+0100}, author = {Roth, Michael and Hartoyo, Agus and Liggesmeyer, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2f5018dc60d10272b97726e210d3aaee4/admin}, booktitle = {ISSRE Workshops}, crossref = {conf/issre/2015w}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISSREW.2015.7392060}, interhash = {14f7c4a6c65e8913a380d23a59502020}, intrahash = {f5018dc60d10272b97726e210d3aaee4}, isbn = {978-1-5090-1944-1}, keywords = {}, pages = {144-151}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:37:29.000+0100}, title = {Efficient reachability graph development for qualitive analysis of state/event fault trees.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2015w.html#RothHL15}, year = 2015 }