Regular model checking made simple and efficient (2002)

by P A Abdulla, B Jonsson, M Nilsson, J d’Orso
Venue:In: CONCUR’02. LNCS