ARCATS: a scalable compositional analysis tool suite. - Yung-Pin Cheng; Yu-Ru Cheng; Hong-Yi Wang (SAC, 2006)

On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. - Yung-Pin Cheng; Hong-Yi Wang; Yu-Ru Cheng (CIAA, 2006)