Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA.

Michael Gnther, Johann Schuster, Markus Siegle

Browse the full EDCC paper archive.