Feasibility of structurally synthesized BDD models for test generation
Raik, Jaan
;
Ubar, Raimund-Johannes
Proceedings of the IEEE European Test Workshop, Barcelona, Spain, May 27-29, 1998
1998
/
p. 145-146