Morkunas K, Seinauskas R. Verification of Initialization Sequences for Sequential Circuits. ELEKTRON ELEKTROTECH [Internet]. 2011Jun.8 [cited 2024Nov.21];112(6):61-4. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/446