Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan. Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 252-270, Springer, 2006. [doi]

This author has not been identified. Look up 'Ritwik Bhattacharya' in GoogleThis author has not been identified. Look up 'Steven M. German' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL