Login / Signup
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
Santiago Escobar
Catherine A. Meadows
José Meseguer
Sonia Santiago
Published in:
Programming Languages with Applications to Biology and Security (2015)
Keyphrases
</>
data analysis
equational theories
expert systems
database
database management systems
constraint programming