%0 Journal Article %1 journals/lmcs/0001LSW23 %A Konnov, Igor %A Lazic, Marijana %A Stoilkovska, Ilina %A Widder, Josef %D 2023 %J Log. Methods Comput. Sci. %K dblp %N 1 %T Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs19.html#0001LSW23 %V 19

@article{journals/lmcs/0001LSW23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Konnov, Igor and Lazic, Marijana and Stoilkovska, Ilina and Widder, Josef}, biburl = {https://www.bibsonomy.org/bibtex/26521004a6706a60ff2c113d9c5df03d0/dblp}, ee = {https://doi.org/10.46298/lmcs-19(1:5)2023}, interhash = {8c6e39779cb45c12491aa40c0e3ac0a1}, intrahash = {6521004a6706a60ff2c113d9c5df03d0}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-09T01:50:50.000+0200}, title = {Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs19.html#0001LSW23}, volume = 19, year = 2023 }