Computation of Minimal Counterexamples by Using Black Box Techniques and Symbolic Methods

by Christoph Scholl , Bernd Becker
Citations:5 - 2 self