The Formal Foundations in RSL for UML Statechart Diagrams

Sun Meng, Zhang Naixiao, Bernhard Aichernig

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)344-357
JournalActa scientiarum naturalium Universitatis Pekinensis
Volume41
Issue number3
Publication statusPublished - 2005

Cite this