| |
| 2005 | ||
|---|---|---|
| 2 | EE | Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers: Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. IEICE Transactions 88-D(7): 1646-1661 (2005) |
| 2004 | ||
| 1 | EE | Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers: Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. ATVA 2004: 339-353 |
| 1 | Chris J. Myers | [1] [2] |
| 2 | Tomohiro Yoneda | [1] [2] |