Paws: A Tool for the Analysis of Weighted Systems

Reference

Barbara König, Sebastian Küpper, and Christina Mika. Paws: A tool for the analysis of weighted systems. In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), 2017. to appear.

Suggested BibTeX entry:

@inproceedings{KKM17,
    author = {Barbara K\"onig and Sebastian K\"upper and Christina Mika},
    booktitle = {Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems)},
    note = {to appear},
    title = {{Paws}: A Tool for the Analysis of Weighted Systems},
    year = {2017}
}

This work is not available online here.