Multi-valued simulation with binary decision diagramsUbar, Raimund-Johannes; Raik, JaanProceedings IEEE European Test Workshop, Cagliari, Italy, May 28-30, 19971997 / p. 28-29