PubPeer
The online Journal club
login
create account
Home
Publications
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
arXiv (2020) -
Comments
arxiv: 2011.14789 issn: 2331-8422 doi: 10.46298/lmcs-19(1:5)2023
Igor Konnov, Marijana Lazić, Ilina Stoilkovska, Josef Widder
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})