Rupak Majumdar. Foundations of Infinite-State Verification. In Orna Grumberg, Helmut Seidl, Maximilian Irlbeck, editors, Software Systems Safety. Volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 191-222, IOS Press, 2014. [doi]
Abstract is missing.