Mark Timmer. SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 149-150, IEEE Computer Society, 2011. [doi]
@inproceedings{Timmer11,
title = {SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes},
author = {Mark Timmer},
year = {2011},
doi = {10.1109/QEST.2011.27},
url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2011.27},
researchr = {https://researchr.org/publication/Timmer11},
cites = {0},
citedby = {0},
pages = {149-150},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-4577-0973-9},
}