James C. Corbett. Verifying General Safety and Liveness Propterties with Integer Programming. In Gregor von Bochmann, David K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Volume 663 of Lecture Notes in Computer Science, pages 357-369, Springer, 1992.
Abstract is missing.