Fabian Lorig, Colja A. Becker, Ingo J. Timm. Formal specification of hypotheses for assisting computer simulation studies. In Fernando Barros, Xiaolin Hu 0002, Joachim Denil, Rhys Goldstein, Fernando Barros, editors, Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23 - 26, 2017. ACM, 2017. [doi]
@inproceedings{LorigBT17,
title = {Formal specification of hypotheses for assisting computer simulation studies},
author = {Fabian Lorig and Colja A. Becker and Ingo J. Timm},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3108923},
researchr = {https://researchr.org/publication/LorigBT17},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23 - 26, 2017},
editor = {Fernando Barros and Xiaolin Hu 0002 and Joachim Denil and Rhys Goldstein and Fernando Barros},
publisher = {ACM},
}