Learning of event-recording automata (2010)

by Olga Grinchtein, Bengt Jonsson, Martin Leucker