by Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
Reference:
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model CheckerIgor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef WidderCoRR, volume abs/2011.14789, 2020.
Bibtex Entry:
@article{DBLP:journals/corr/abs-2011-14789,
author = {Igor Konnov and
Marijana Lazic and
Ilina Stoilkovska and
Josef Widder},
title = {Survey on Parameterized Verification with Threshold Automata and the
Byzantine Model Checker},
journal = {CoRR},
volume = {abs/2011.14789},
year = {2020},
url = {https://arxiv.org/abs/2011.14789},
archivePrefix = {arXiv},
eprint = {2011.14789},
timestamp = {Tue, 01 Dec 2020 14:59:59 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}