Title
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.
Year
DOI
Field
2019
10.1007/978-3-030-17465-1_20
Parameterized complexity,Model checking,Computer science,Automaton,Theoretical computer science,Distributed algorithm,Reachability problem,Semantics,Undecidable problem,Bounded function
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Ilina Stoilkovska101.35
Igor Konnov25712.06
Josef Widder322923.99
Florian Zuleger429625.13