Login / Signup

Symbolic bisimulation for the applied pi calculus.

Stéphanie DelauneSteve KremerMark Dermot Ryan
Published in: J. Comput. Secur. (2010)
Keyphrases
  • information retrieval
  • data sets
  • neural network
  • case study
  • image segmentation