Yu-Ru Cheng

According to our database¹, Yu-Ru Cheng authored at least 2 papers in 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2006

ARCATS: a scalable compositional analysis tool suite.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006