Compositional Analysis for Weak Stubborn Sets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Henri Hansen, Xu Wang. Compositional Analysis for Weak Stubborn Sets. In Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi, editors, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. pages 36-43, IEEE, 2011. [doi]

This author has not been identified. Look up 'Henri Hansen' in GoogleThis author has not been identified. Look up 'Xu Wang' in Google

runs on WebDSL