A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.

Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino

Browse the full ATVA paper archive.