Model Based Importance Analysis for Minimal Cut Sets
Böde, Eckard and Peikenkamp, Thomas and Rakow, Jan and Wischmeyer, Samuel
Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
10 / 2008
0302-9743
inproceedings
Springer
303ff
