"A cut-off approach for bounded verification of parameterized systems."

Qiusong Yang, Mingshu Li (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics