Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.

Denduang Pradubsuwun Tomohiro Yoneda Chris J. Myers Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. 339-353 https://doi.org/10.1007/978-3-540-30476-0_28 2004 conf/atva/2004 ATVA db/conf/atva/atva2004.html#PradubsuwunYM04