![[IEEE Comput. Soc Seventh Asia-Pacific Software Engineering Conference. ASPEC 2000 - Singapore (5-8 Dec. 2000)] Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 - Checking compositions of UML sequence diagrams for timing inconsistency]()
[IEEE Comput. Soc Seventh Asia-Pacific Software Engineering Conference. ASPEC 2000 - Singapore (5-8 Dec. 2000)] Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 - Checking compositions of UML sequence diagrams for timing inconsistencyXuandong Li, ; Lilius, J. · 2000