Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings - Alan J. Hu, Moshe Y. Vardi ((Lecture Notes in Computer Science))