Alan J. Hu Moshe Y. Vardi Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings CAV Lecture Notes in Computer Science 1427 Springer 1998 3-540-64608-6 db/conf/cav/cav98.html