Minimization of counterexamples (0)

by P Gastin, P Moro, M Zeitoun
Venue:in SPIN, in: Proc. of SPIN