{"_id":"48N9pbbfXkj5waoeD","bibbaseid":"lorig-becker-timm-formalspecificationofhypothesesforassistingcomputersimulationstudies-2017","downloads":0,"creationDate":"2018-10-01T13:54:37.646Z","title":"Formal Specification of Hypotheses for Assisting Computer Simulation Studies","author_short":["Lorig, F.","Becker, C. A.","Timm, I. J."],"year":2017,"bibtype":"inproceedings","biburl":"https://www.uni-trier.de/fileadmin/fb4/prof/INF/WI1/Ref/REF_FL_2019-01-17.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"San Diego, CA, USA","series":"TMS/DEVS '17","title":"Formal Specification of Hypotheses for Assisting Computer Simulation Studies","url":"http://dl.acm.org/citation.cfm?id=3108905.3108923","booktitle":"Proceedings of the Symposium on Theory of Modeling & Simulation","publisher":"Society for Computer Simulation International","author":[{"propositions":[],"lastnames":["Lorig"],"firstnames":["Fabian"],"suffixes":[]},{"propositions":[],"lastnames":["Becker"],"firstnames":["Colja","A."],"suffixes":[]},{"propositions":[],"lastnames":["Timm"],"firstnames":["Ingo","J."],"suffixes":[]}],"year":"2017","keywords":"assistance system, formal specification, hypothesis testing, parametrization","pages":"18:1–18:12","bibtex":"@inproceedings{lorig_formal_2017,\n\taddress = {San Diego, CA, USA},\n\tseries = {{TMS}/{DEVS} '17},\n\ttitle = {Formal {Specification} of {Hypotheses} for {Assisting} {Computer} {Simulation} {Studies}},\n\turl = {http://dl.acm.org/citation.cfm?id=3108905.3108923},\n\tbooktitle = {Proceedings of the {Symposium} on {Theory} of {Modeling} \\& {Simulation}},\n\tpublisher = {Society for Computer Simulation International},\n\tauthor = {Lorig, Fabian and Becker, Colja A. and Timm, Ingo J.},\n\tyear = {2017},\n\tkeywords = {assistance system, formal specification, hypothesis testing, parametrization},\n\tpages = {18:1--18:12}\n}\n\n","author_short":["Lorig, F.","Becker, C. A.","Timm, I. J."],"key":"lorig_formal_2017","id":"lorig_formal_2017","bibbaseid":"lorig-becker-timm-formalspecificationofhypothesesforassistingcomputersimulationstudies-2017","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=3108905.3108923"},"keyword":["assistance system","formal specification","hypothesis testing","parametrization"],"metadata":{"authorlinks":{"lorig, f":"https://bibbase.org/show?bib=https%3A%2F%2Fwww.uni-trier.de%2Ffileadmin%2Ffb4%2Fprof%2FINF%2FWI1%2FRef%2FREF_FL_2019-01-17.bib&msg=embed"}},"downloads":0,"html":""},"search_terms":["formal","specification","hypotheses","assisting","computer","simulation","studies","lorig","becker","timm"],"keywords":["assistance system","formal specification","hypothesis testing","parametrization"],"authorIDs":["gTE2CjL7ZpdvPQ2WG"],"dataSources":["nc6LnHYWbMWrhwmZ7","YCBcQPneB9oxahSnp"]}