State identification problems for timed automata (0)

by M Krichen, S Tripakis
Venue:Lecture