@article{towardsfrenchsmartbuildingcodecompliance,
  title = {Towards French Smart Building Code: Compliance Checking Based on Semantic Rules},
  author = {Nicolas Bus and Ana Roxin and Guillaume Picinbono and Muhammad Fahad},
  year = {2019},
  eprint = {1910.00334},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1910.00334v1},
}