Michael Günther 0008, Johann Schuster, Markus Siegle. Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. In Arndt Bode, editor, Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, DYADEM-FTS '10, Valencia, Spain, April 27, 2010. pages 13-18, ACM, 2010. [doi]
Abstract is missing.