Sign in
Proving Liveness by Backwards Reachability.
Parosh Aziz Abdulla
Bengt Jonsson
Ahmed Rezine
Mayank Saksena
Published in:
CONCUR (2006)
Keyphrases
</>
state space
transitive closure
artificial intelligence
d objects