Open menu
Ofer Ben-Shachar
1960
Bisimulation of state automata