A. Coady

Publication Activity (10 Years)

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

Publications

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)