Y. Yun

Publication Activity (10 Years)

Years Active: 1987-1987
Publications (10 Years): 0

Publications

David Y. Y. Yun, Y. Yun, Chang Nian Zhang
Formal verification of systolic networks using theorem proving techniques (abstract only). ACM Conference on Computer Science (1987)