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

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