Equivalences of statecharts (1996)

by A Maggiolo-Schettini, A Peron, S Tini
Venue:In Proc. of the 7th Int. Conf. On Concurrency Theory (CONCUR’96