dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yu-Ru Cheng Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng: On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. CIAA 2006: 219-229
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang: ARCATS: a scalable compositional analysis tool suite. SAC 2006: 1852-1853

Coauthor Index

1Yung-Pin Cheng [1] [2]
2Hong-Yi Wang [1] [2]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page