Verification Experiments on the MASCARA Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guoping Jia, Susanne Graf. Verification Experiments on the MASCARA Protocol. In Matthew B. Dwyer, editor, Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Volume 2057 of Lecture Notes in Computer Science, pages 123-142, Springer, 2001. [doi]

This author has not been identified. Look up 'Guoping Jia' in GoogleThis author has not been identified. Look up 'Susanne Graf' in Google

runs on WebDSL