Regular model checking without transducers (2007)

by P A Abdulla, G Delzanno, N Ben Henda, A Rezine
Venue:ADBR07] [AJ96] [AJNS04] [AWD04] [Bau06] [BBG+ 06