Login / Signup
Labelled transition systems as a Stone space
Michael Huth
Published in:
CoRR (2004)
Keyphrases
</>
transition systems
concurrent systems
model checking
search space
temporal logic
finite state
artificial intelligence
dynamic programming
software engineering
control flow