Login / Signup

Reverse Observation Equivalence Between Labelled State Transition Systems.

Yanjun WenJi WangZhi-Chang Qi
Published in: ICTAC (2004)
Keyphrases
  • transition systems
  • temporal logic
  • concurrent systems
  • model checking
  • software engineering
  • finite state