TY - GEN AU - William B May AU - George E Kelly C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 1985-01-01 05:01:00 DO - https://doi.org/10.6028/NBS.IR.85-3285 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 1985 TI - Verification of public domain control algorithms for building energy management and control systems: ER -