Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe. Abstraction and Modular Verification of Infinite-State Reactive Systems. In Manfred Broy, Bernhard Rumpe, editors, Requirements Targeting Software and Systems Engineering, International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997, Proceedings. Volume 1526 of Lecture Notes in Computer Science, pages 273-292, Springer, 1997.
Abstract is missing.