Login / Signup
Reverse Observation Equivalence Between Labelled State Transition Systems.
Yanjun Wen
Ji Wang
Zhi-Chang Qi
Published in:
ICTAC (2004)
Keyphrases
</>
transition systems
temporal logic
concurrent systems
model checking
software engineering
finite state