Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005

Edmund M. Clarke Marius Minea Ferucio Laurentiu Tiplea Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005 VISSAS IOS Press 2006 1 NATO Security through Science Series D: Information and Communication Security 1-58603-570-3 db/conf/vissas/vissas2005.html