On the Non-termination of MDG-Based Abstract State Enumeration (0)

by O Ait Mohamed, X Song, E Cerny
Venue:Theoretical Computer Science