Name
Year | DOI | Venue |
|---|---|---|
2022 | 10.1007/978-3-031-06773-0_5 | NASA Formal Methods (NFM) |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 8 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vytautas Astrauskas | 1 | 0 | 0.34 |
| Aurel Bílý | 2 | 0 | 0.34 |
| Jonás Fiala | 3 | 0 | 0.34 |
| Zachary Grannan | 4 | 0 | 0.68 |
| Christoph Matheja | 5 | 1 | 3.40 |
| Peter Müller | 6 | 781 | 50.82 |
| Federico Poli | 7 | 0 | 0.68 |
| Alexander J. Summers | 8 | 0 | 2.70 |