Login / Signup

Proving Liveness by Backwards Reachability.

Parosh Aziz AbdullaBengt JonssonAhmed RezineMayank Saksena
Published in: CONCUR (2006)
Keyphrases
  • state space
  • transitive closure
  • artificial intelligence
  • d objects