%0 Conference Paper
%A Michael Wetter
%A Antoine Gautier
%A Milica Grahovac
%A Jianjun Hu
%B 16th IBPSA Conference
%C Rome, Italy
%D 2019
%G eng
%S 16th IBPSA Conference
%T Verification of Control Sequences within OpenBuildingControl
%U http://www.ibpsa.org/proceedings/BS2019/BS2019_210722.pdf
%8 09/2019