C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Equation Solving Using Modal Transition Systems
Kim Guldstrand Larsen
Xinxin Liu
Published in:
LICS (1990)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
modal logic
reactive systems
model checker
knowledge base
markov chain