Reverse Observation Equivalence Between Labelled State Transition Systems.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Browse the full ICTAC paper archive.