On decidability of prebisimulation for timed automata (2012)

by S Guha, C Narayan, S Arun-Kumar
Venue:the proceedings of the 24th International Workshop on Computer Aided Verification