Login / Signup
Before and after vacuity.
Hana Chockler
Ofer Strichman
Published in:
Formal Methods Syst. Des. (2009)
Keyphrases
</>
model checking
temporal logic