Sub-sampling and weighting approaches to model checking - LI CHENWEI (2010)
Master's