Login / Signup
A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols.
Frédéric Gava
Michaël Guedj
Franck Pommereau
Published in:
ISPDC (2012)
Keyphrases
</>
similarity measure
np hard
real time
simulated annealing