Distinguing Non-deterministic Timed Finite State Machines.

Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko

Browse the full FORTE paper archive.