Equivalences of Statecharts (1996)

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