Login / Signup
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols.
Frédéric Gava
Franck Pommereau
Michaël Guedj
Published in:
J. Supercomput. (2014)
Keyphrases
</>
np hard
software engineering
low cost
kd trees