Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations
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.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Lam, V. S. W.and Padget, J.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)