Research

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


Reference:

Lam, V. S. W. and Padget, J., 2003. Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003-10-01.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Details

Item Type Conference or Workshop Items (Paper)
CreatorsLam, V. S. W.and Padget, J.
DepartmentsFaculty of Science > Computer Science
RefereedNo
StatusPublished
ID Code5530

Export

Actions (login required)

View Item