Login / Signup
Characteristic mu-Calculus Formulas for Underspecified Transition Systems.
Harald Fecher
Martin Steffen
Published in:
EXPRESS (2004)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
reactive systems
distributed systems
software engineering
rough sets
markov decision processes
formal verification