Frédéric Béal, Tomohiro Yoneda, Chris J. Myers. Hazard Checking of Timed Asynchronous Circuits Revisited. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 51-60, IEEE Computer Society, 2007. [doi]
Abstract is missing.