Inferring physical units in formal models

Sebastian Krings, Michael Leuschel. Inferring physical units in formal models. Software and Systems Modeling, 16(1):25-47, 2017. [doi]

Authors

Sebastian Krings

This author has not been identified. Look up 'Sebastian Krings' in Google

Michael Leuschel

This author has not been identified. It may be one of the following persons: Look up 'Michael Leuschel' in Google