-E.M. Clarke/R.P. Kurshan (Eds.): Computer Aided Verification, Springer-Verlag Proceedings 1990