Thuong, Nguyen.
" Verification of hazard, race and deadlock in GAlS-circuit." <em>VNU Journal of Science: Mathematics - Physics</em> [Online], 26.1 (2010): n. pag. Web. 17 May. 2024