Test generation for digital systems at functional level
Ubar, Raimund-Johannes
;
Kuchcinski, Ktzysztof
;
Peng, Z.
Research report LiTH-IDA-R-90-06, Linköping University, Sweden
1990
/
p. 1-21