Combining symbolic techniques with topological approach in test generation
Ubar, Raimund-Johannes
Proceedings of the 3rd Workshop on Mixed Design of Integrated Circuits and Systems, Lodz, May 1996
1996
/
p. 377-382