Jeffrey J. P. Tsai, Eric Y. T. Juan. Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. In Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada. pages 59-68, IEEE Computer Society, 2002. [doi]
Abstract is missing.