Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

13 Citations (SciVal)

Original language	English
Title of host publication	2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)
Pages	137--144
Number of pages	8
Publication status	Published - Oct 2003
Event	2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003) - Duration: 1 Oct 2003 → …

Conference	2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)
Period	1/10/03 → …

Cite this

@inproceedings{9ce729cec5cf442bac4c930f6cb89151,

title = "Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations",

author = "Lam, {Vitus S W} and Julian Padget",

year = "2003",

month = oct,

language = "English",

pages = "137----144",

booktitle = "2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)",

note = "2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003) ; Conference date: 01-10-2003",

}

TY - GEN

T1 - Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations

AU - Lam, Vitus S W

AU - Padget, Julian

PY - 2003/10

Y1 - 2003/10

M3 - Chapter in a published conference proceeding

SP - 137

EP - 144

BT - 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)

T2 - 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)

Y2 - 1 October 2003

ER -