Suguru Sasaki

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

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) (2006)
Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA (2004)