To Store or Not to Store - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek. To Store or Not to Store. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 433-445, Springer, 2003. [doi]

This author has not been identified. Look up 'Gerd Behrmann' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Radek Pelánek' in Google

runs on WebDSL