Squeezing State Spaces of (Attack-Defence) Trees.

Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk

Browse the full ICECCS paper archive.