Verification of Infinite-State Systems with Applications to Security

VISSAS 2005: Timisoara, Romania

maintained by Schloss Dagstuhl LZI at University of Trier