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.

Testing Probabilistic Distributed Systems

Robert M. Hierons, Manuel Núñez. Testing Probabilistic Distributed Systems. In John Hatcliff, Elena Zucca, editors, Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Volume 6117 of Lecture Notes in Computer Science, pages 63-77, Springer, 2010. [doi]

Abstract

Abstract is missing.

runs on