%0 Journal Article %1 DBLP:journals/lmcs/0001LSW23 %A Konnov, Igor %A Lazic, Marijana %A Stoilkovska, Ilina %A Widder, Josef %D 2023 %J Log. Methods Comput. Sci. %K journal %N 1 %R 10.46298/lmcs-19(1:5)2023 %T Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker %U https://doi.org/10.46298/lmcs-19(1:5)2023 %V 19

@article{DBLP:journals/lmcs/0001LSW23, added-at = {2023-09-24T15:09:17.000+0200}, author = {Konnov, Igor and Lazic, Marijana and Stoilkovska, Ilina and Widder, Josef}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2b22b353371e60fff201a50d9e9e517de/paves}, doi = {10.46298/lmcs-19(1:5)2023}, interhash = {8c6e39779cb45c12491aa40c0e3ac0a1}, intrahash = {b22b353371e60fff201a50d9e9e517de}, journal = {Log. Methods Comput. Sci.}, keywords = {journal}, number = 1, timestamp = {2023-09-24T16:35:41.000+0200}, title = {Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker}, url = {https://doi.org/10.46298/lmcs-19(1:5)2023}, volume = 19, year = 2023 }