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