Using IoTGolog to formalize IoT scenarios

Shah Rukh Humayoun, Yael Dubinsky, Ragaad AlTarawneh. Using IoTGolog to formalize IoT scenarios. In 2nd IEEE World Forum on Internet of Things, WF-IoT 2015, Milan, Italy, December 14-16, 2015. pages 234-238, IEEE, 2015. [doi]

@inproceedings{HumayounDA15,
  title = {Using IoTGolog to formalize IoT scenarios},
  author = {Shah Rukh Humayoun and Yael Dubinsky and Ragaad AlTarawneh},
  year = {2015},
  doi = {10.1109/WF-IoT.2015.7389058},
  url = {http://dx.doi.org/10.1109/WF-IoT.2015.7389058},
  researchr = {https://researchr.org/publication/HumayounDA15},
  cites = {0},
  citedby = {0},
  pages = {234-238},
  booktitle = {2nd IEEE World Forum on Internet of Things, WF-IoT 2015, Milan, Italy, December 14-16, 2015},
  publisher = {IEEE},
  isbn = {978-1-5090-0366-2},
}