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.