Symmetry Reductions inModel Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla. Symmetry Reductions inModel Checking. 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 147-158, Springer, 1998.

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'E. Allen Emerson' in GoogleThis author has not been identified. Look up 'Somesh Jha' in GoogleThis author has not been identified. Look up 'A. Prasad Sistla' in Google

runs on WebDSL