On the nontermination of MDG-based abstract state enumeration (1997)

by O Ait-Mohamed, X Song, E Cerny
Venue:In Proc. IFIP Conference on Correct Hardware and Veri Methods