Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (bibtex)
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}
}
Powered by bibtexbrowser