Login / Signup
Symbolic bisimulation for the applied pi calculus.
Stéphanie Delaune
Steve Kremer
Mark Dermot Ryan
Published in:
J. Comput. Secur. (2010)
Keyphrases
</>
information retrieval
data sets
neural network
case study
image segmentation