Morkunas, K. and Seinauskas, R. 2011. Verification of Initialization Sequences for Sequential Circuits. Elektronika ir Elektrotechnika. 112, 6 (Jun. 2011), 61-64. DOI:https://doi.org/10.5755/j01.eee.112.6.446.