Computer aided verification : 9th International Conference, CAV '97 : Haifa, Israel, June 22-25, 1997 : proceedings - Grumberg, Orna, 1952- (Springer-Verlag, 1997)