Regular inference for state machines with parameters (2006)

by T Berg, B Jonsson, H Raffelt
Venue:of Lecture Notes in Computer Science