Paper Info
Title
Tutorial - Parameterized Verification with Byzantine Model Checker.
Year
DOI
Venue
2020
10.1007/978-3-030-50086-3_11
FORTE
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Igor Konnov15712.06
Marijana Lazic200.68
Ilina Stoilkovska300.68
Josef Widder422923.99