Model-Checking Parameterized Concurrent Programs Using Linear Interfaces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Salvatore La Torre, P. Madhusudan, Gennaro Parlato. Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 629-644, Springer, 2010. [doi]

This author has not been identified. Look up 'Salvatore La Torre' in GoogleThis author has not been identified. Look up 'P. Madhusudan' in GoogleThis author has not been identified. Look up 'Gennaro Parlato' in Google

runs on WebDSL