DMCA

On Formal Semantics of Statecharts as Supported by STATEMATE. (1997)

Cached

Download Links

by Erich Mikk , Yassine Lakhnech , Carsta Petersohn , Michael Siegel
Venue:In Second BCS-FACS Northern Formal Methods Workshop
Citations:24 - 3 self