-A.J. Hu, M.Y. Vardi (Eds.), Computer Aided Verification. Proceedings, Springer-Verlag 1998