@Inproceedings{EPTCS250.5, author = {K\"onig, Barbara and K\"upper, Sebastian and Mika, Christina}, year = {2017}, title = {PAWS: A Tool for the Analysis of Weighted Systems}, editor = {Wiklicky, Herbert and Vink, Erik de}, booktitle = {{\rm Proceedings 15th Workshop on} Quantitative Aspects of Programming Languages and Systems, {\rm Uppsala, Sweden, 23rd April 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {250}, publisher = {Open Publishing Association}, pages = {75-91}, doi = {10.4204/EPTCS.250.5}, }