Arijit Mondal, P. P. Chakrabarti, Chittaranjan A. Mandal. A New Approach to Timing Analysis Using Event Propagation and Temporal Logic. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 1198-1203, IEEE Computer Society, 2004. [doi]
Abstract is missing.