| |
| 2008 | ||
|---|---|---|
| 2 | EE | Ning Huang, Yongyi Peng, Camilo Rocha: Extend OWL-S Dynamic Semantics with Rewrite Logic. CSSE (2) 2008: 346-349 |
| 1 | EE | Camilo Rocha, José Meseguer: Theorem Proving Modulo Based on Boolean Equational Procedures. RelMiCS 2008: 337-351 |
| 1 | Ning Huang | [2] |
| 2 | José Meseguer | [1] |
| 3 | Yongyi Peng | [2] |