BibTeX record journals/corr/0001KM17aa

• > Home > journals/corr/0001KM17aa

@inproceedings{DBLP:journals/corr/0001KM17aa,
  author       = {Barbara K{\"{o}}nig and
                  Sebastian K{\"{u}}pper and
                  Christina Mika},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {{PAWS:} {A} Tool for the Analysis of Weighted Systems},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {75--91},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.5},
  doi          = {10.4204/EPTCS.250.5},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/0001KM17aa.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}