Nguyen, T. T., LE-HUU, K.-N., Bui, T. H. and 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), pp. 64–73. doi: 10.37936/ecti-cit.201591.54405.