Test generation for digital systems based on alternative graphs
Ubar, Raimund-Johannes
Dependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 1994 : proceedings
1994
/
p. 151-164: ill