Computer Aided Verification : 11th International Conference, CAV '99 : Trento, Italy, July 6-10, 1999 : proceedings - Halbwachs, Nicolas; Peled, Doron A., 1962- (Springer, 1999)