Name
Title | ||
|---|---|---|
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. |
Year | Venue | Field |
|---|---|---|
2014 | Inf. Comput. | Discrete mathematics,Abstraction model checking,Model checking,Upper and lower bounds,Computer science,Algorithm,Reachability,Theoretical computer science,Distributed algorithm,State space,Bounded function,Liveness |
DocType | Volume | Citations |
Conference | 252 | 9 |
PageRank | References | Authors |
0.53 | 23 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Igor Konnov | 1 | 57 | 12.06 |
| Helmut Veith | 2 | 2476 | 140.58 |
| Josef Widder | 3 | 229 | 23.99 |