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 | Yu-Ru Cheng | [1] [2] |
2 | Yung-Pin Cheng | [1] [2] |