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.

Modeling and Automating Analysis of Server Duty and Client Obligation for High Assurance

Chin-Tser Huang, Vipul Gupta. Modeling and Automating Analysis of Server Duty and Client Obligation for High Assurance. In 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), Macau, China, June 18-21, 2012. pages 409-416, IEEE Computer Society, 2012. [doi]

Authors

Chin-Tser Huang

This author has not been identified. Look up 'Chin-Tser Huang' in Google

Vipul Gupta

This author has not been identified. Look up 'Vipul Gupta' in Google
runs on