Verification of Dynamic Register Automata. - Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane (2014)