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.

SMT-Based Modeling and Verification of Cloud Applications

Xiyue Zhang, Meng Sun 0002. SMT-Based Modeling and Verification of Cloud Applications. In Yunni Xia, Liang-Jie Zhang, editors, Services - SERVICES 2019 - 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings. Volume 11517 of Lecture Notes in Computer Science, pages 1-15, Springer, 2019. [doi]

Authors

Xiyue Zhang

This author has not been identified. Look up 'Xiyue Zhang' in Google

Meng Sun 0002

This author has not been identified. Look up 'Meng Sun 0002' in Google
runs on