Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev. Lazy transition systems: application to timing optimization of asynchronous circuits. In ICCAD. pages 324-331, 1998. [doi]
Abstract is missing.