Computer aided verification : 14th International Conference, CAV 2002 : Copenhagen, Denmark, July 27-31, 2002 : proceedings - Brinksma, H., 1957-; Larsen, K. G. 1957- (Lecture notes in computer science ;, 2002)