@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 }