Functional testing with binary decision diagrams (0)

by S B Akers
Venue:J. Design Automat. FaultTolerant Comput