A Case Study on Parametric Verification of Failure Detectors (bibtex)
by Thanh-Hai Tran, Igor Konnov, Josef Widder
Reference:
A Case Study on Parametric Verification of Failure DetectorsThanh-Hai Tran, Igor Konnov, Josef WidderInternational Conference on Formal Techniques for Distributed Objects, Components, and Systems, pages 138–156, 2021.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{tran2021case,
  title={A Case Study on Parametric Verification of Failure Detectors},
  author={Tran, Thanh{-}Hai and Konnov, Igor and Widder, Josef},
  booktitle={International Conference on Formal Techniques for Distributed Objects, Components, and Systems},
  pages={138--156},
  year={2021},
  organization={Springer}
}
Powered by bibtexbrowser