On Automatic Verification of Self-Stabilizing Population Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jun Pang, Zhengqin Luo, Yuxin Deng. On Automatic Verification of Self-Stabilizing Population Protocols. In Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. pages 185-192, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Jun Pang' in GoogleThis author has not been identified. Look up 'Zhengqin Luo' in GoogleThis author has not been identified. Look up 'Yuxin Deng' in Google

runs on WebDSL