Lecture Notes in Computer Science: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Alur, Rajeev; Peled, Doron A.

Details

Published by: Springer

Publication Date: 2004-06-29

Format: Paperback

ISBN-13: 9783540223429

DOI: 10.1007/b98490

Dimensions: 233cm x155cm

Pages: 536