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.

Specifying and Verifying Web Transactions

Jing Li, Huibiao Zhu, Jifeng He. Specifying and Verifying Web Transactions. In Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Volume 5048 of Lecture Notes in Computer Science, pages 149-168, Springer, 2008. [doi]

Authors

Jing Li

This author has not been identified. Look up 'Jing Li' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google
runs on