Lecture Notes in Computer Science: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Berry, Gerard; Comon, Hubert; Finkel, Alain

Details

Published by: Springer

Publication Date: 2001-07-04

Format: Paperback

ISBN-13: 9783540423454

DOI: 10.1007/3-540-44585-4

Dimensions: 233cm x155cm

Pages: 522