A compositional approach to statecharts semantics

TitleA compositional approach to statecharts semantics
Publication TypeBooks
Year of Publication2000
AuthorsL\üttgen G, Von Der Beeck M, Cleaveland R
Volume25
PublisherACM