7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
Lecture Notes in Computer Science > «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications > Verification and Model Consistency > 305-319
Lecture Notes in Computer Science > «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications > Verification and Model Consistency > 320-334
Lecture Notes in Computer Science > «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications > Verification and Model Consistency > 335-349