Efficient Stateful Dynamic Partial Order Reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby. Efficient Stateful Dynamic Partial Order Reduction. In Klaus Havelund, Rupak Majumdar, Jens Palsberg, editors, Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Volume 5156 of Lecture Notes in Computer Science, pages 288-305, Springer, 2008. [doi]

This author has not been identified. Look up 'Yu Yang' in GoogleThis author has not been identified. Look up 'Xiaofang Chen' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Robert M. Kirby' in Google

runs on WebDSL