@misc{indiciae3b9ea68a814c,
  title = {IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems},
  author = {Abdullah Al Farooq and Ehab Al-Shaer and Thomas Moyer and Krishna Kant},
  year = {2018},
  url = {https://arxiv.org/abs/1812.03966},
  note = {Source identifier: 1812.03966}
}