@misc{indiciae68517fbe3c53,
  title = {A Rewriting-Logic-Based Technique for Modeling Thermal Systems},
  author = {Muhammad Fadlisyah and Erika Ábrahám and Daniela Lepri and Peter Csaba Ölveczky},
  year = {2010},
  doi = {10.4204/eptcs.36.5},
  url = {https://arxiv.org/abs/1009.4263},
  note = {Source identifier: 1009.4263}
}