A game-based framework for CTL counterexamples and 3-valued abstraction-refinement (2003)

by Sharon Shoham , Orna Grumberg
Venue:In Computer Aided Verification (CAV), LNCS 2725
Citations:24 - 6 self