The Formal Foundations in RSL for UML Statechart Diagrams

Sun Meng, Zhang Naixiao, Bernhard Aichernig

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	344-357
Journal	Acta scientiarum naturalium Universitatis Pekinensis
Volume	41
Issue number	3
Publication status	Published - 2005

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

@article{bf0c7f29548a48b781d0b379a8addd9a,

title = "The Formal Foundations in RSL for UML Statechart Diagrams",

author = "Sun Meng and Zhang Naixiao and Bernhard Aichernig",

year = "2005",

language = "English",

volume = "41",

pages = "344--357",

journal = "Acta scientiarum naturalium Universitatis Pekinensis",

issn = "0479-8023",

publisher = "Peking University",

number = "3",

}