SPTool - Equivalence Checker for SAND Attack Trees.

Barbara Kordy, Piotr Kordy, Yoann van den Boom

Browse the full CRiSIS paper archive.