Robust algorithms for high quality test pattern generation using Boolean satisfiability

Stephan Eggersglüß. Robust algorithms for high quality test pattern generation using Boolean satisfiability. PhD thesis, University of Bremen, 2010.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.