%0 Conference Paper %1 conf/springsim/LorigBT17 %A Lorig, Fabian %A Becker, Colja A. %A Timm, Ingo J. %B SpringSim (TMS) %D 2017 %E Barros, Fernando %E Hu, Xiaolin %E Denil, Joachim %E Goldstein, Rhys %I ACM %K %P 18:1-18:12 %T Formal specification of hypotheses for assisting computer simulation studies. %U http://dblp.uni-trier.de/db/conf/springsim/tms2017.html#LorigBT17

@inproceedings{conf/springsim/LorigBT17, added-at = {2023-12-13T04:56:10.000+0100}, author = {Lorig, Fabian and Becker, Colja A. and Timm, Ingo J.}, biburl = {https://www.bibsonomy.org/bibtex/2931a0f8fb16d5387f8b57b3c64b1bb9d/admin}, booktitle = {SpringSim (TMS)}, crossref = {conf/springsim/2017tms}, editor = {Barros, Fernando and Hu, Xiaolin and Denil, Joachim and Goldstein, Rhys}, ee = {http://dl.acm.org/citation.cfm?id=3108923}, interhash = {9c45ff56ebaba42fbb8bad7950b50b7e}, intrahash = {931a0f8fb16d5387f8b57b3c64b1bb9d}, keywords = {}, pages = {18:1-18:12}, publisher = {ACM}, timestamp = {2023-12-13T04:56:10.000+0100}, title = {Formal specification of hypotheses for assisting computer simulation studies.}, url = {http://dblp.uni-trier.de/db/conf/springsim/tms2017.html#LorigBT17}, year = 2017 }