Nguyen, T. T., LE-HUU, K.-N., Bui, T. H., & Dinh-Duc, A.-V. (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