Krishnaji Desai, Kenneth S. Stevens, John O'Leary. Symbolic verification of timed asynchronous hardware protocols. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2013, Natal, Brazil, August 5-7, 2013. pages 147-152, IEEE, 2013. [doi]
Abstract is missing.