Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park. Experience with Applying Formal Methods to Protocol Specification and System Architecture. Formal Methods in System Design, 22(2):109-116, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.