Hierarchical test generation for digital circuits represented by Decision Diagrams : thesis on informatics and system engineering
Raik, Jaan
2001
https://www.ester.ee/record=b1578107*est