| |
| 2004 | ||
|---|---|---|
| 3 | EE | Shengrong Zou: Formally Specifying T Cell Cytokine Networks with B Method. CIS 2004: 385-390 |
| 2 | EE | Shengrong Zou: Case Study of Modeling Immune System with B Method. CIT 2004: 890-895 |
| 2003 | ||
| 1 | EE | Shengrong Zou: Modeling Distributed Algorithm Using B. GCC (2) 2003: 683-689 |