Wei Jen Yeh

According to our database¹, Wei Jen Yeh authored at least 3 papers between 1991 and 1994.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1994

1993

Controlling state explosion in reachability analysis

[BibT_eX]

[DOI]

PhD thesis, 1993

1991

Compositional Reachability Analysis Using Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991