A Semantic Preorder on Refinement and Fairness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

X. W. Huang, L. Jiao, W. M. Lu. A Semantic Preorder on Refinement and Fairness. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 139-148, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'X. W. Huang' in GoogleThis author has not been identified. Look up 'L. Jiao' in GoogleThis author has not been identified. Look up 'W. M. Lu' in Google

runs on WebDSL