Yu-Ru Cheng

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang
ARCATS: a scalable compositional analysis tool suite. SAC (2006)
Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. CIAA (2006)