Verification of Tree Updates for Optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas. Verification of Tree Updates for Optimization. In Kousha Etessami, Sriram K. Rajamani, editors, Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Volume 3576 of Lecture Notes in Computer Science, pages 379-393, Springer, 2005. [doi]

This author has not been identified. Look up 'Michael Benedikt' in GoogleThis author has not been identified. Look up 'Angela Bonifati' in GoogleThis author has not been identified. Look up 'Sergio Flesca' in GoogleThis author has not been identified. Look up 'Avinash Vyas' in Google

runs on WebDSL