A fresh approach to learning register automata (2013)

by B Bollig, P Habermehl, M Leucker, B Monmege
Venue:In Proceedings of the 17th International Conference on Developments in Language Theory (DLT), volume 7907 of Lecture Notes in Computer Science