Regular inference for state machines with parameters. (2006)

by T Berg, B Jonsson, H Raffelt
Venue:FASE 2006. LNCS,