Sebastian Krings, Michael Leuschel. Inferring physical units in formal models. Software and Systems Modeling, 16(1):25-47, 2017. [doi]
@article{KringsL17, title = {Inferring physical units in formal models}, author = {Sebastian Krings and Michael Leuschel}, year = {2017}, doi = {10.1007/s10270-015-0458-0}, url = {http://dx.doi.org/10.1007/s10270-015-0458-0}, researchr = {https://researchr.org/publication/KringsL17}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {16}, number = {1}, pages = {25-47}, }