BibTeX record journals/chinaf/DavidDLMS12

download as .bib file

@article{DBLP:journals/chinaf/DavidDLMS12,
  author       = {Alexandre David and
                  Dehui Du and
                  Kim G. Larsen and
                  Marius Mikucionis and
                  Arne Skou},
  title        = {An evaluation framework for energy aware buildings using statistical
                  model checking},
  journal      = {Sci. China Inf. Sci.},
  volume       = {55},
  number       = {12},
  pages        = {2694--2707},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11432-012-4742-0},
  doi          = {10.1007/S11432-012-4742-0},
  timestamp    = {Sun, 06 Oct 2024 21:21:34 +0200},
  biburl       = {https://dblp.org/rec/journals/chinaf/DavidDLMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}