Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings - Hu, Alan J.; Hu, Alan J.; Vardi, Moshe Y.; Vardi, Moshe Y. (Springer Berlin Heidelberg : Imprint: Springer, 1998)