Ziemann, P.; Hölscher, K.; Gogolla, M.
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
In: Moura, A.; Mota, A. (eds.): Electronic Notes in Theoretical Computer Science. Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004). Elsevier, 2005, pp. 263-280
(Workgroup:
Theoretical Computer Science)