NGUYEN, T. T.; LE-HUU, K.-N.; BUI, T. H.; DINH-DUC, A.-V. A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD tool. ECTI Transactions on Computer and Information Technology (ECTI-CIT), [S. l.], v. 9, n. 1, p. 64–73, 2016. DOI: 10.37936/ecti-cit.201591.54405. Disponível em: https://ph01.tci-thaijo.org/index.php/ecticit/article/view/54405. Acesso em: 3 may. 2024.