| |
| 2006 | ||
|---|---|---|
| 3 | EE | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue: Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Inf. 42(6-7): 389-418 (2006) |
| 2004 | ||
| 2 | EE | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan: Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. ICFEM 2004: 449-463 |
| 1 | EE | Jinzhao Wu, Houguang Yue: Towards Action Refinement for Concurrent Systems with Causal Ambiguity. SEFM 2004: 300-309 |
| 1 | Mila E. Majster-Cederbaum | [2] [3] |
| 2 | Jinzhao Wu | [1] [2] [3] |
| 3 | Naijun Zhan | [2] |