Wendy Belluomini, Chris J. Myers, H. Peter Hofstee. Verification of Delayed-Reset Domino Circuits Using ATACS. In 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 99), 19-22 April 1999, Barcelona, Spain. pages 3-12, IEEE Computer Society, 1999. [doi]
Abstract is missing.