Communication Dans Un Congrès
Année : 2010
Michaël Rusinowitch : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00531025
Soumis le : lundi 1 novembre 2010-11:30:17
Dernière modification le : vendredi 19 juillet 2024-13:54:01
Dates et versions
Identifiants
- HAL Id : inria-00531025 , version 1
Citer
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani. Satisfiability of General Intruder Constraints with a Set Constructor. The Fifth International Conference on Risks and Security of Internet and Systems - CRiSIS 2010, Oct 2010, Montreal, Canada. ⟨inria-00531025⟩
Collections
191
Consultations
0
Téléchargements