Synthesis for Testability: Binary Decision Diagrams.

Bernd Becker

Browse the full STACS paper archive.