0 citations0 referencesGoogle Scholardoi.orgAbstraction Refinement for TerminationLecture notes in computer science·2005·pp. 87–101Citations Over TimeTop 1% of 2005 papersByron Cook, Andreas Podelski, Andrey RybalchenkoRelated Papers→ Abstract Model Checking without Computing the Abstraction(2009)39 cited→ Counterexample-Preserving Reduction for Symbolic Model Checking(2013)1 cited→ Generalized Model Checking(2005)1 cited→ Counterexample-Preserving Reduction for Symbolic Model Checking(2013)