Jin Yi

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Jin Yi, Wenhui Zhang: Efficient State Space Reduction for Automata by Fair Simulation. FSEN 2007: 380-387

1 EE Jin Yi, Wenhui Zhang: Enhancing Simulation for Checking Language Containment. TAMC 2007: 374-385

2007
2	EE	Jin Yi, Wenhui Zhang: Efficient State Space Reduction for Automata by Fair Simulation. FSEN 2007: 380-387
1	EE	Jin Yi, Wenhui Zhang: Enhancing Simulation for Checking Language Containment. TAMC 2007: 374-385

Coauthor Index

1 Wenhui Zhang [1] [2]