Regular model checking. (2000)

by A Bouajjani, B Jonsson, M Nilsson, T Touili
Venue:In Proc. of CAV ’00,