"Tunneling and slicing: towards scalable BMC."

Malay K. Ganai, Aarti Gupta (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics