Optimizing parallel Korat using invalid ranges - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nima Dini, Cagdas Yelen, Sarfraz Khurshid. Optimizing parallel Korat using invalid ranges. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 182-191, ACM, 2017. [doi]

This author has not been identified. Look up 'Nima Dini' in GoogleThis author has not been identified. Look up 'Cagdas Yelen' in GoogleThis author has not been identified. Look up 'Sarfraz Khurshid' in Google

runs on WebDSL