Verification of hazard, race and deadlock in GAlS-circuit - Thuong, Nguyen Quoc (VNU Journal of Science: Mathematics - Physics; Vol 26 No 1, 2010)
Abstract