Reconciling statechart semantics (2009)

by R Eshuis
Venue:Sci. Comput. Program