Miki Hermann
-
On the non-termination of MDG-based abstract state enumeration
Theoretical Computer Science
Tree Automata and Automated Model Building
Fundamenta Informaticae