Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Ed Brinksma, Kim Guldstrand Larsen ((Lecture Notes in Computer Science))