| |
| 2002 | ||
|---|---|---|
| 1 | EE | Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers: Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. PRDC 2002: 210-220 |
| 1 | Tomoya Kitai | [1] |
| 2 | Eric Mercer (Eric G. Mercer) | [1] |
| 3 | Chris J. Myers | [1] |
| 4 | Tomohiro Yoneda | [1] |