MORKUNAS, K.; SEINAUSKAS, R. Verification of Initialization Sequences for Sequential Circuits. Elektronika ir Elektrotechnika, [S. l.], v. 112, n. 6, p. 61-64, 2011. DOI: 10.5755/j01.eee.112.6.446. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/446. Acesso em: 3 may. 2024.