External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proving Total Correctness of Refinement Based on Tableau

Xiaolei Gao, Huaikou Miao. Proving Total Correctness of Refinement Based on Tableau. In IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2009, Chengdu, Sichuan, China, 10-12 August 2009. pages 702-707, IEEE, 2009. [doi]

Authors

Xiaolei Gao

This author has not been identified. Look up 'Xiaolei Gao' in Google

Huaikou Miao

This author has not been identified. Look up 'Huaikou Miao' in Google
runs on