Atomicity Refinement and Trace Reduction Theorems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

E. Pascal Gribomont. Atomicity Refinement and Trace Reduction Theorems. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 311-322, Springer, 1996.

This author has not been identified. Look up 'E. Pascal Gribomont' in Google

runs on WebDSL