• Test generation for sequential digital systems based on symbolic simulationSkobtsov, Vadim; Skobtsov, Yu.BEC'98 : the 6th Biennial Conference on Electronics and Microsystems Technology, October 7-9, 1998, Tallinn, Estonia : proceedings1998 / p. 341-344: ill