Login / Signup
Lattice-valued simulations for quantitative transition systems.
Haiyu Pan
Yongming Li
Yongzhi Cao
Published in:
Int. J. Approx. Reason. (2015)
Keyphrases
</>
transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
practical reasoning
model checker
reactive systems
distributed systems
information flow
data flow
formal methods