Publication [HermannsKKS16] The Value of Attack-Defence Diagrams Hermanns, H.; Krämer, J.; Krcál, J. and Stoelinga, M. In POST, pages 163-185, LNCS 9635, 2016.Downloads: bib