Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings - Halbwachs, Nicolas; Halbwachs, Nicolas; Peled, Doron; Peled, Doron (Springer Berlin Heidelberg : Imprint: Springer, 1999)