Test cover calculation in digital systems with word-level decision diagrams
Ubar, Raimund-Johannes
;
Raik, Jaan
;
Ivask, Eero
;
Brik, Marina
Вестник Томского государственного университета
2002
/
с. 315-319 : ил