Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings - Grumberg, Orna; Grumberg, Orna (Springer Berlin Heidelberg : Imprint: Springer, 1997)