Sign in
Modal transition systems with weight intervals.
Line Juhl
Kim G. Larsen
Jirí Srba
Published in:
J. Log. Algebraic Methods Program. (2012)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
control flow
finite state
practical reasoning
reactive systems
data flow