1 citations · 1 across the 1 of their papers we have counts for
1 paper
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.