@misc{indiciaee28dd48e3f32, title = {Learning EFSM Models with Registers in Guards}, author = {Germán Vega and Roland Groz and Catherine Oriat and Michael Foster and Neil Walkinshaw and Adenilso Simão}, year = {2024}, url = {https://arxiv.org/abs/2406.07040}, note = {Source identifier: 2406.07040} }