| |
| 1987 | ||
|---|---|---|
| 1 | EE | 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: 362 |
| 1 | David Y. Y. Yun | [1] |
| 2 | Chang Nian Zhang (Chang N. Zhang) | [1] |