Inference of event-recording automata using timed decision trees (2006)

by O Grinchtein, B Jonsson, P Pettersson
Venue:in Proceedings of International Conference on Concurrency Theory, ser. LNCS