Login / Signup
Nesting Until and Since in Linear Temporal Logic.
Denis Thérien
Thomas Wilke
Published in:
Theory Comput. Syst. (2004)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking
general purpose