8485 articles  [english version]
.:. Consultation > Par auteur > Avanesov .:.
1 document
fulltext access Satisfiability of General Intruder Constraints with and without a Set Constructor
Avanesov T., Chevalier Y., Rusinowitch M., Turuani M.
N° RR-7276 (2010) [inria-00480632 - version 3]