Automatic detection of hazards in digital logic circuits
Networked Digital Library of Theses and Dissertations