The Formal Foundations in RSL for UML Statechart Diagrams

Sun Meng, Zhang Naixiao, Bernhard Aichernig

Research output: Contribution to journalArticleResearch

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

Cite this

The Formal Foundations in RSL for UML Statechart Diagrams. / Meng, Sun; Naixiao, Zhang; Aichernig, Bernhard.

In: Acta scientiarum naturalium Universitatis Pekinensis, Vol. 41, No. 3, 2005, p. 344-357.

Research output: Contribution to journalArticleResearch

@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",

}

TY - JOUR

T1 - The Formal Foundations in RSL for UML Statechart Diagrams

AU - Meng, Sun

AU - Naixiao, Zhang

AU - Aichernig, Bernhard

PY - 2005

Y1 - 2005

M3 - Article

VL - 41

SP - 344

EP - 357

JO - Acta scientiarum naturalium Universitatis Pekinensis

JF - Acta scientiarum naturalium Universitatis Pekinensis

SN - 0479-8023

IS - 3

ER -