Login / Signup
Nesting Until and Since in Linear Temporal Logic.
Denis Thérien
Thomas Wilke
Published in:
STACS (2002)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking
linear time temporal logic
finite state