TY  - RPRT
TI  - A case study on parametric verification of failure detectors
AU  - Thanh-Hai Tran
AU  - Igor Konnov
AU  - Josef Widder
PY  - 2023
DO  - 10.46298/lmcs-19(1:17)2023
UR  - https://arxiv.org/abs/2112.08826
ID  - 2112.08826
ER  -