Dynamic Trace Analysis with Zero-Suppressed BDDs

Price, Graham David.   University of Colorado at Boulder ProQuest Dissertations Publishing,  2011. 3468482.