Computer aided verification : 13th International Conference, CAV 2001 : Paris, France, July 18-22, 2001 : proceedings - Berry, Gérard, 1948-; Comon, Hubert, 1957-; Finkel, Alain, 1958- (Springer, 2001)