Paws: A Tool for the Analysis of Weighted Systems
Reference
B. König, C. Mika, and S. Küpper. 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{paws:KKM17,
author = {B. K{\"o}nig and C. Mika and S. K{\"u}pper},
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}
}
