1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Alvaro Salas
In this paper we prove the correctness of Dijkstra's algorithm. We also discuss it and at the end we show an application.