Li Yongjian, Xue Rui. Design of a CIL Connector to SPIN. In 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings. pages 349-354, IEEE Computer Society, 2004. [doi]
Abstract is missing.