Satisfiability of general intruder constraints with and without a set constructor
| Autor: | Avanesov, Tigran, Chevalier, Yannick, Rusinowitch, Michael, Turuani, Mathieu |
|---|---|
| Zdroj: | In Journal of Symbolic Computation May-June 2017 80 Part 1:27-61 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect