Cite
A toolchain for domestic heat-pump control using Uppaal Stratego.
MLA
Hasrat, Imran Riaz, et al. “A Toolchain for Domestic Heat-Pump Control Using Uppaal Stratego.” Science of Computer Programming, vol. 230, Aug. 2023, p. N.PAG. EBSCOhost, https://doi.org/10.1016/j.scico.2023.102987.
APA
Hasrat, I. R., Jensen, P. G., Larsen, K. G., & Srba, J. (2023). A toolchain for domestic heat-pump control using Uppaal Stratego. Science of Computer Programming, 230, N.PAG. https://doi.org/10.1016/j.scico.2023.102987
Chicago
Hasrat, Imran Riaz, Peter Gjøl Jensen, Kim Guldstrand Larsen, and Jiří Srba. 2023. “A Toolchain for Domestic Heat-Pump Control Using Uppaal Stratego.” Science of Computer Programming 230 (August): N.PAG. doi:10.1016/j.scico.2023.102987.