Name
Year | Venue | DocType |
|---|---|---|
2015 | Computer Aided Verification | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrew Reynolds | 1 | 0 | 5.07 |
| Morgan Deters | 2 | 0 | 0.68 |
| Viktor Kuncak | 3 | 1129 | 70.57 |
| Cesare Tinelli | 4 | 1409 | 79.86 |
| Clark Barrett | 5 | 1268 | 108.65 |