Nguyen, Tin Thien, Khoi-Nguyen LE-HUU, Thang H. Bui, and Anh-Vu Dinh-Duc. 2016. “A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD Tool”. ECTI Transactions on Computer and Information Technology (ECTI-CIT) 9 (1):64-73. https://doi.org/10.37936/ecti-cit.201591.54405.