Regular inference for state machines using domains with equality tests (2008)

by T Berg, B Jonsson, H Raffelt
Venue:Proc. FASE ’08, 11 th Int. Conf. on Fundamental Approaches to Software Engineering