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.

Taming Interface Specifications

Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck. Taming Interface Specifications. In Martín Abadi, Luca de Alfaro, editors, CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Volume 3653 of Lecture Notes in Computer Science, pages 548-561, Springer, 2005. [doi]

Authors

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

A. Prasad Sistla

This author has not been identified. Look up 'A. Prasad Sistla' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google

Lenore D. Zuck

This author has not been identified. Look up 'Lenore D. Zuck' in Google
runs on