Computer Aided Verification: 16th Inteational Conference,

Computer Aided Verification: 16th Inteational Conference,

by: Rajeev Alur, Doron A. Peled

Print length: 536

Publication date: 2004-08-17

ISBN-10: 3540223428

ISBN-13: 9783540223429