| |
| 1999 | ||
|---|---|---|
| 1 | EE | Ying Xu, Eduard Cerny, Allan Silburt, A. Coady, Ying Liu, Philip Pownall: Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors. CHARME 1999: 110-124 |
| 1 | Eduard Cerny | [1] |
| 2 | Ying Liu | [1] |
| 3 | Philip Pownall | [1] |
| 4 | Allan Silburt | [1] |
| 5 | Ying Xu | [1] |