A game-based framework for CTL counterexamples and 3-valued abstraction-refinemnet, in (0)

by S Shoham, O Grumberg
Venue:of Lecture Notes in Computer Science