| Title | Towards a Formal Operational Semantics of UML Statechart Diagrams |
| Publication Type | Book Chapter |
| Year of Publication | 1999 |
| Authors | Latella, D., Majzik, I., and Massink, M. |
| Book Title | Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy) |
| Pagination | 331 - 347 |
| Publisher | Kluwer Academic Publishers |
| City | Deventer |
| URL | http://mycite.omikk.bme.hu/doc/16331.pdf |
