The Equivalence of Statecharts.

Quan Long, Zongyan Qiu, Shengchao Qin

Browse the full ICFEM paper archive.