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), volume 250 of EPTCS, 2017.
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)},
series = {EPTCS},
title = {{Paws}: A Tool for the Analysis of Weighted Systems},
volume = {250},
year = {2017}
}
