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.

Identifying XML Schema Constraints Using Temporal Logic

Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu. Identifying XML Schema Constraints Using Temporal Logic. In Martin Fränzle, Deepak Kapur, Naijun Zhan, editors, Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Volume 9984 of Lecture Notes in Computer Science, pages 136-146, 2016. [doi]

Authors

Ruifang Zhao

This author has not been identified. Look up 'Ruifang Zhao' in Google

Ke Liu

This author has not been identified. Look up 'Ke Liu' in Google

Hongli Yang

This author has not been identified. Look up 'Hongli Yang' in Google

Zongyan Qiu

This author has not been identified. Look up 'Zongyan Qiu' in Google
runs on