THUONG, Nguyen Quoc.
Verification of hazard, race and deadlock in GAlS-circuit.
VNU Journal of Science: Mathematics - Physics, [S.l.], v. 26, n. 1, mar. 2010.
ISSN 2588-1124.
Available at: <
https://js.vnu.edu.vn/MaP/article/view/2694>. Date accessed: 30 apr. 2024.
