%0 Conference Paper %1 conf/issre/DomisHT10 %A Domis, Dominik %A Höfig, Kai %A Trapp, Mario %B ISSRE %D 2010 %I IEEE Computer Society %K dblp %P 171-180 %T A Consistency Check Algorithm for Component-Based Refinements of Fault Trees. %U http://dblp.uni-trier.de/db/conf/issre/issre2010.html#DomisHT10 %@ 978-0-7695-4255-3

@inproceedings{conf/issre/DomisHT10, added-at = {2015-04-28T00:00:00.000+0200}, author = {Domis, Dominik and Höfig, Kai and Trapp, Mario}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a38cd50087f082abdf8e192cfe836304/dblp}, booktitle = {ISSRE}, crossref = {conf/issre/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2010.23}, interhash = {b1b2929a42ab25a1c5ea328a5b9496bd}, intrahash = {a38cd50087f082abdf8e192cfe836304}, isbn = {978-0-7695-4255-3}, keywords = {dblp}, pages = {171-180}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T11:56:34.000+0100}, title = {A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2010.html#DomisHT10}, year = 2010 }