Communication Dans Un Congrès
Année : 2018
Sophie Pinchinat : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02533499
Soumis le : lundi 6 avril 2020-14:47:30
Dernière modification le : mardi 23 janvier 2024-03:29:27
Dates et versions
Identifiants
- HAL Id : hal-02533499 , version 1
Citer
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
Consultations
0
Téléchargements