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.

A Case Study on Parametric Verification of Failure Detectors

Thanh-Hai Tran, Igor Konnov 0001, Josef Widder. A Case Study on Parametric Verification of Failure Detectors. In Kirstin Peters, Tim A. C. Willemse, editors, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Volume 12719 of Lecture Notes in Computer Science, pages 138-156, Springer, 2021. [doi]

Authors

Thanh-Hai Tran

This author has not been identified. Look up 'Thanh-Hai Tran' in Google

Igor Konnov 0001

This author has not been identified. Look up 'Igor Konnov 0001' in Google

Josef Widder

This author has not been identified. Look up 'Josef Widder' in Google
runs on