A petri net reduction algorithm for protocol analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

C. V. Ramamoorthy, Yuh Yaw. A petri net reduction algorithm for protocol analysis. In Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986. pages 157-166, ACM, 1986. [doi]

This author has not been identified. Look up 'C. V. Ramamoorthy' in GoogleThis author has not been identified. Look up 'Yuh Yaw' in Google

runs on WebDSL