Maria K. Michael, Spyros Tragoudas. Generation of Hazard Identification Functions. In 4th International Symposium on Quality of Electronic Design (ISQED 2003), 24-26 March 2003, San Jose, CA, USA. pages 419-424, IEEE Computer Society, 2003. [doi]
Abstract is missing.