| |
| 1999 | ||
|---|---|---|
| 1 | EE | Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi: Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ICPP Workshops 1999: 576-581 |
| 1 | Teruo Higashino | [1] |
| 2 | Kozo Okano | [1] |
| 3 | Kenichi Taniguchi | [1] |
| 4 | Akira Yamamoto | [1] |