J. He, Z. Liu, and X. Li. A component calculus. In H. Dang and Z. Liu, editors, Proc. FME03 Workshop on Formal Aspects of Component Software (FACS). UNU/IIST Report 284, UNU/IIST, P.O.Box 3058, Macao, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Linking UML Models of Design and Requirement - Liu, Liu, Jifeng, Li (2004) (2 citations) (Correct)
No context found.
J. He, Z. Liu, and X. Li. A component calculus. In H. Dang and Z. Liu, editors, Proc. FME03 Workshop on Formal Aspects of Component Software (FACS). UNU/IIST Report 284, UNU/IIST, P.O.Box 3058, Macao, 2003.
Contract-Oriented Development of Component Software - Liu, Jifeng, Li (2004) (Correct)
No context found.
J. He, Z. Liu, and X. Li. Component calculus. In V.H. Dang and Z. Liu, editors, Proc. Proc. Workshop on Formal Aspects of Component Software (FACS'03), Satellite Workshop of FME2003, Pisa, Italy, 8-9 September, 2003. UNU/IIST Report No 284, UNU/IIST, P.O. Box 3058, Macao, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC