Deciding the Emptiness of Attack trees
Maxime Audinot, Sophie Pinchinat, Francois Schwarzentruber and Florence WacheuxSLIDES
Total: 4 presentations.
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES
|
|