| |
| 2006 | ||
|---|---|---|
| 2 | EE | Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino: A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. Int. J. Found. Comput. Sci. 17(4): 833-850 (2006) |
| 2004 | ||
| 1 | EE | Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino: A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004: 179-195 |
| 1 | Teruo Higashino | [1] [2] |
| 2 | Akio Nakata | [1] [2] |
| 3 | Tadaaki Tanimoto | [1] [2] |