Wei Jen Yeh

Compositional reachability analysis using process algebra

Michal Young, Wei Jen Yeh, M. Young, 1991, TAV4.

Controlling state explosion in reachability analysis

Wei Jen Yeh, 1993 .

Re‐designing tasking structures of Ada programs for analysis: A case study

Wei Jen Yeh, M. Young, W. J. Yeh, 1994, Softw. Test. Verification Reliab..