TY  - RPRT
TI  - Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
AU  - Igor Konnov
AU  - Marijana Lazić
AU  - Ilina Stoilkovska
AU  - Josef Widder
PY  - 2023
DO  - 10.46298/lmcs-19(1:5)2023
UR  - https://arxiv.org/abs/2011.14789
ID  - 2011.14789
ER  -