Regular model checking without transducers (2006)

by Parosh Aziz Abdulla , Giorgio Delzanno , Noomene Ben Henda , Ahmed Rezine
Citations:23 - 12 self