Timing analysis of asynchronous systems using time separation of events

Supratik Chakraborty, Kenneth Y. Yun, David L. Dill. Timing analysis of asynchronous systems using time separation of events. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(8):1061-1076, 1999. [doi]

Bibliographies