Wei Jen Yeh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

1 Wei Jen Yeh, Michal Young: Compositional Reachability Analysis Using Process Algebra. Symposium on Testing, Analysis, and Verification 1991: 49-59

	1991
1		Wei Jen Yeh, Michal Young: Compositional Reachability Analysis Using Process Algebra. Symposium on Testing, Analysis, and Verification 1991: 49-59

Coauthor Index