Learning of event-recording automata (2004)

by O Grinchtein, B Jonsson, M Leucker
Venue:in Proceedings of the Joint International Conferences on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault-Tolerant Systems, ser. LNCS