"Verification of Infinite-State Systems with Applications to Security, ..."

Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics