On the Formal Semantics of Statecharts (Extended Abstract)

David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman

Browse the full LICS paper archive.