External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

Specifications and Verification of Network Protocols by Process Algebra

Gabriel Ciobanu, K. N. Sridhar. Specifications and Verification of Network Protocols by Process Algebra. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. pages 250-258, IEEE Computer Society, 2005. [doi]

Authors

Gabriel Ciobanu

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

K. N. Sridhar

This author has not been identified. Look up 'K. N. Sridhar' in Google
runs on