Nguyen, Tin Thien, Khoi-Nguyen LE-HUU, Thang H. Bui, and Anh-Vu Dinh-Duc. “A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD Tool”. ECTI Transactions on Computer and Information Technology (ECTI-CIT) 9, no. 1 (April 6, 2016): 64–73. Accessed May 3, 2024. https://ph01.tci-thaijo.org/index.php/ecticit/article/view/54405.