@inproceedings{Bö2008,Author = {Böde, Eckard and Peikenkamp, Thomas and Rakow, Jan and Wischmeyer, Samuel},Title = {Model Based Importance Analysis for Minimal Cut Sets},Year = {2008},Pages = {303ff},Month = {10},Publisher = {Springer},Address = {Berlin / Heidelberg},Isbn = {0302-9743},Booktitle = {Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis},type = {inproceedings}}@COMMENT{Bibtex file generated on }