A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled. A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 379-390, Springer, 1998.

This author has not been identified. Look up 'Parosh Aziz Abdulla' in GoogleThis author has not been identified. Look up 'Bengt Jonsson' in GoogleThis author has not been identified. Look up 'Mats Kindahl' in GoogleThis author has not been identified. Look up 'Doron Peled' in Google

runs on WebDSL