Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Brinksma, Ed; Brinksma, Ed; Larsen, Kim G.; Larsen, Kim G. (Springer Berlin Heidelberg : Imprint: Springer, 2002)