Conference Papers
Year : 2018
Sophie Pinchinat : Connect in order to contact the contributor
https://inria.hal.science/hal-02533499
Submitted on : Monday, April 6, 2020-2:47:30 PM
Last modification on : Friday, March 10, 2023-4:18:24 PM
Dates and versions
Identifiers
- HAL Id : hal-02533499 , version 1
Cite
Maxime Audinot, François Schwarzentruber, Florence Florence Wacheux. Deciding the Non-emptiness of Attack Trees. 5th International Workshop on Graphical Models for Security, Jul 2018, Oxford, United Kingdom. ⟨hal-02533499⟩
Collections
9
View
0
Download