Login / Signup
Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV
Amin Ansari
Published in:
CoRR (2008)
Keyphrases
</>
dynamic programming
computational complexity
model checking
tree structure
verification method
objective function
search space
np hard