Thuong, N.
(2010).
 Verification of hazard, race and deadlock in GAlS-circuit.
<em>VNU Journal Of Science: Mathematics - Physics, 26</em>(1).
Retrieved from <a href="https://js.vnu.edu.vn/MaP/article/view/2694" target="_new">https://js.vnu.edu.vn/MaP/article/view/2694</a>