Topological analysis of SSBDDs with applications in fault diagnosis
Ubar, Raimund-Johannes
Proceedings of 10th International Workshop on Boolean Problems : Freiberg, Germany, September 19-21, 2012
2012
/
p. 1-16