Login / Signup
Time and Action Lock Freedom Properties for Timed Automata.
Howard Bowman
Published in:
FORTE (2001)
Keyphrases
</>
timed automata
model checking
reachability analysis
decision making
website
data structure
fine grained
concurrency control
temporal logic
action sequences