Generalized Stuttering Equivalence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Somesh Jha, Doron Peled. Generalized Stuttering Equivalence. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA. pages 1054-1060, CSREA Press, 1999.

This author has not been identified. Look up 'Somesh Jha' in GoogleThis author has not been identified. Look up 'Doron Peled' in Google

runs on WebDSL