Thierry J.-F. Omnès, Thierry Franzetti, and Francky Catthoor Proc. 37th IEEE/ACM Design Automation Conf. (DAC 2000), Jun 2000, pp. 328–331 http://doi.acm.org/10.1145/337292.337430
Cites: