Equivalence of Statecharts (1996)

by A Maggiolo-Schettini, A Peron, S Tini
Venue:In Proceedings of CONCUR '96