BibTeX record conf/edcc/0008SS10

• > Home > conf/edcc/0008SS10

@inproceedings{DBLP:conf/edcc/0008SS10,
  author       = {Michael G{\"{u}}nther and
                  Johann Schuster and
                  Markus Siegle},
  editor       = {Arndt Bode},
  title        = {Symbolic calculation of k-shortest paths and related measures with
                  the stochastic process algebra tool {CASPA}},
  booktitle    = {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},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772630.1772635},
  doi          = {10.1145/1772630.1772635},
  timestamp    = {Sat, 30 Sep 2023 09:39:36 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/0008SS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}