On Timing Analysis of Combinational Circuits.

Ramzi Ben Salah Marius Bozga Oded Maler On Timing Analysis of Combinational Circuits. 204-219 http://dx.doi.org/10.1007/978-3-540-40903-8_17 2003 conf/formats/2003 FORMATS db/conf/formats/formats2003.html#SalahBM03