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 February 21, 2026. https://ph01.tci-thaijo.org/index.php/ecticit/article/view/54405.