- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c2 |      | Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou: A Calculus for Hybrid CSP. APLAS 2010: 1-15 |
| 2009 | ||
| c1 | | Jidong Lv, Tao Tang: Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL. CSIE (2) 2009: 49-53 |
| 1 | Jiang Liu (Jimmy Jiang Liu) | |
| 2 | Zhao Quan | |
| 3 | Tao Tang | |
| 4 | Naijun Zhan | |
| 5 | Hengjun Zhao | |
| 6 | Chaochen Zhou (Zhou Chaochen) | |
| 7 | Liang Zou |
Data released under the ODC-BY 1.0 license — See also our legal information page