Sequential and Parallel Attack Tree Modelling.

Florian Arnold, Dennis Guck, Rajesh Kumar, Marille Stoelinga

Browse the full SAFECOMP paper archive.