"Biased Model Checking Using Flows."

Muralidhar Talupur, Hyojung Han (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics