Login / Signup
Wei Jen Yeh
Publication Activity (10 Years)
Years Active: 1991-1991
Publications (10 Years): 0
</>
Publications
</>
Wei Jen Yeh
,
Michal Young
Compositional Reachability Analysis Using Process Algebra.
Symposium on Testing, Analysis, and Verification
(1991)