Hans-Jörg Kreowski. An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation (2002)

by Sabine Kuske, Martin Gogolla, Ralf Kollmann
Venue:In Michael Butler and Kaisa Sere, editors, 3rd Int. Conf. Integrated Formal Methods (IFM’02), LNCS