Ebertshäuser, S.; Both, P. von

Ebertshäuser, S. (2017). IFC Model Checking. In M. Wetter & C. van Treeck (Hrsg.), IEA EBC Annex 60: New Generation Computing Tools for Building and Community Energy Systems – Final Report (S. 182–189). Abgerufen von http://www.iea-annex60.org/downloads/iea-ebc-annex60-final-report.pdf