@Inproceedings{EPTCS264.5,
  author    = {Linker, Sven and Sevegnani, Michele},
  year      = {2018},
  title     = {Formalising Sensor Topologies for Target Counting},
  editor    = {Pianini, Danilo and Salvaneschi, Guido},
  booktitle = {{\rm Proceedings First Workshop on}
               Architectures, Languages and Paradigms for IoT,
               {\rm Turin, Italy, September 18, 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {264},
  publisher = {Open Publishing Association},
  pages     = {43-57},
  doi       = {10.4204/EPTCS.264.5},
}