EasyChair Smart Slide
Deciding the Emptiness of Attack trees
Deciding the Emptiness of Attack trees