1989
A compositional semantics for statecharts
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| J.W. Klop (Jan Willem) , J.J.C. Meijer , J.J.M.M. Rutten (Jan) | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Hooman, J., Ramesh, S., & de Roever, W. P. (1989). A compositional semantics for statecharts. In J. W. Klop, J. J. C. Meijer, & J. Rutten (Eds.), J.W. de Bakker, 25 jaar semantiek (pp. 275–287). CWI. |
|