Andrea Maggiolo-Schettini;Massimo Merro
-;-
A comparison of Statecharts step semantics
Theoretical Computer Science