| |
| 2006 | ||
|---|---|---|
| 2 | EE | Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng: On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. CIAA 2006: 219-229 |
| 1 | EE | Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang: ARCATS: a scalable compositional analysis tool suite. SAC 2006: 1852-1853 |
| 1 | Yung-Pin Cheng | [1] [2] |
| 2 | Hong-Yi Wang | [1] [2] |