Login / Signup
Verifying duration properties of timed transition systems.
Zhiming Liu
Anders P. Ravn
Xiaoshan Li
Published in:
PROCOMET (1998)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
state space
case study
petri net
model checker