Verification of Infinite-State Systems with Applications to Security (VISSAS)

VISSAS 2005: Timisoara, Romania

a service of Schloss Dagstuhl - Leibniz Center for Informatics