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] |