| |
| 2003 | ||
|---|---|---|
| 1 | EE | 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) |
| 1 | Ching-Tsun Chou | [1] |
| 2 | Akhilesh Kumar | [1] |
| 3 | Victor W. Lee | [1] |
| 4 | Phanindra K. Mannava | [1] |
| 5 | Seungjoon Park | [1] |