Robert Tjärnström. Clock independent timing verification of level-sensitive latches. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 271-275, EEE Computer Society, 1991. [doi]
Abstract is missing.