THUONG, Nguyen Quoc.
 Verification of hazard, race and deadlock in GAlS-circuit.
<strong>VNU Journal of Science: Mathematics - Physics</strong>, [S.l.], v. 26, n. 1, mar. 2010.
ISSN 2588-1124.
Available at: &lt;<a href="https://js.vnu.edu.vn/MaP/article/view/2694" target="_new">https://js.vnu.edu.vn/MaP/article/view/2694</a>&gt;. Date accessed: 21 may 2024.