Name
Year | DOI | Venue |
|---|---|---|
2021 | 10.1007/978-3-030-76020-5_14 | Logic, Computation and Rigorous Methods |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stefan Bodenmüller | 1 | 0 | 0.68 |
| Gerhard Schellhorn | 2 | 769 | 56.43 |
| Martin Bitterlich | 3 | 0 | 0.34 |
| Wolfgang Reif | 4 | 69 | 11.47 |