Chao Yan, Florent Ouchet, Laurent Fesquet, Katell Morin-Allory. Formal Verification of C-element Circuits. In 17th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2011, Cornell University, Ithaca, New York, USA, 27-29 April 2011. pages 55-64, IEEE Computer Society, 2011. [doi]
Abstract is missing.