Y. Yun

According to our database, Y. Yun authored at least 1 paper in 1987.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1987

Formal verification of systolic networks using theorem proving techniques (abstract only).

David Y. Y. Yun, Y. Yun, Chang Nian Zhang

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987