Items where Author is "Bois, Guy"

Zaki, Mohamed H., Denman, William, Tahar, Sofiène and Bois, Guy (2009) Integrating Abstraction Techniques for Formal Verification of Analog Designs. Journal of Aerospace Computing, Information, and Communication, 6 (5). pp. 373-392. ISSN 1542-9423

Zaki, Mohamed H., Tahar, Sofiène and Bois, Guy (2008) Formal verification of analog and mixed signal designs: A survey. Microelectronics Journal, 39 (12). pp. 1395-1404. ISSN 00262692