@Inproceedings{EPTCS184.3, author = {Kromodimoeljo, Sentot and Lindsay, Peter A.}, year = {2015}, title = {Automatic Generation of Minimal Cut Sets}, editor = {Pang, Jun and Liu, Yang and Mauw, Sjouke}, booktitle = {{\rm Proceedings 4th International Workshop on} Engineering Safety and Security Systems, {\rm Oslo, Norway, June 22, 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {184}, publisher = {Open Publishing Association}, pages = {33-47}, doi = {10.4204/EPTCS.184.3}, }