Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings

Gérard Berry Hubert Comon Alain Finkel Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings CAV Lecture Notes in Computer Science 2102 Springer 2001 3-540-42345-1 db/conf/cav/cav2001.html