A New Approach to Timing Analysis Using Event Propagation and Temporal Logic.

Arijit Mondal, P. P. Chakrabarti, Chittaranjan A. Mandal

Browse the full DATE paper archive.