Bounded Model Checking of Concurrent Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ishai Rabinovitz, Orna Grumberg. Bounded Model Checking of Concurrent Programs. 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 82-97, Springer, 2005. [doi]

This author has not been identified. Look up 'Ishai Rabinovitz' in GoogleThis author has not been identified. Look up 'Orna Grumberg' in Google

runs on WebDSL