Time and Space Reasoning for Ambient Systems

Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni. Time and Space Reasoning for Ambient Systems. IJACI, 8(3):38-57, 2017. [doi]

@article{BoukharrouIS17,
  title = {Time and Space Reasoning for Ambient Systems},
  author = {Radja Boukharrou and Jean-Michel Ilié and Djamel-Eddine Saïdouni},
  year = {2017},
  doi = {10.4018/IJACI.2017070103},
  url = {https://doi.org/10.4018/IJACI.2017070103},
  researchr = {https://researchr.org/publication/BoukharrouIS17},
  cites = {0},
  citedby = {0},
  journal = {IJACI},
  volume = {8},
  number = {3},
  pages = {38-57},
}