Regular model checking without transducers (2006)

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