Pierre Wolper, Bernard Boigelot. Verifying Systems with Infinite but Regular State Spaces. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 88-97, Springer, 1998.
Abstract is missing.