Pieter-Tjerk de Boer, Daniël Reijsbergen, Werner R. W. Scheinhardt. Interactive comparison of hypothesis tests for statistical model checking. In William J. Knottenbelt, Katinka Wolter, Ana Busic, Marco Gribaudo, Philipp Reinecke, editors, VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015. pages 153-157, ACM, 2015. [doi]
@inproceedings{BoerRS15,
title = {Interactive comparison of hypothesis tests for statistical model checking},
author = {Pieter-Tjerk de Boer and Daniël Reijsbergen and Werner R. W. Scheinhardt},
year = {2015},
url = {https://dl.acm.org/doi/10.4108/eai.14-12-2015.2262571},
researchr = {https://researchr.org/publication/BoerRS15},
cites = {0},
citedby = {0},
pages = {153-157},
booktitle = {VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015},
editor = {William J. Knottenbelt and Katinka Wolter and Ana Busic and Marco Gribaudo and Philipp Reinecke},
publisher = {ACM},
isbn = {978-1-63190-096-9},
}