Title
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.
Year
Venue
DocType
2019
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Ilina Stoilkovska101.35
Igor Konnov25712.06
Josef Widder322923.99
Florian Zuleger429625.13