The Power of QDDs (1997)

by B Boigelot, P Godefroid, B Willems, P Wolper
Venue:In Proc. Static Analysis Symposium 1997, volume 1302 of LNCS