Thuong, N.
2010 Mar 15.  Verification of hazard, race and deadlock in GAlS-circuit. VNU Journal of Science: Mathematics - Physics. [Online] 26:1