Marko Samer, Helmut Veith. From Temporal Logic Queries to Vacuity Detection. In Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea, editors, 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. Volume 1 of NATO Security through Science Series D: Information and Communication Security, pages 149-167, IOS Press, 2005.
Abstract is missing.