Thuong, Nguyen.
" Verification of hazard, race and deadlock in GAlS-circuit" <em>VNU Journal of Science: Mathematics - Physics</em> [Online], Volume 26 Number 1 (15 March 2010)