"Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks."

T. E. Daniel, S. N. I. Mount, Robert M. Newman, Elena I. Gaura. "Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.". In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 277-282, IEEE, 2006. [doi]

@inproceedings{DanielMNG06,
  title = {"Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks."},
  author = {T. E. Daniel and S. N. I. Mount and Robert M. Newman and Elena I. Gaura},
  year = {2006},
  doi = {10.1109/ISoLA.2006.24},
  url = {http://dx.doi.org/10.1109/ISoLA.2006.24},
  tags = {wireless sensor networks, compiler, query language},
  researchr = {https://researchr.org/publication/DanielMNG06},
  cites = {0},
  citedby = {0},
  pages = {277-282},
  booktitle = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  publisher = {IEEE},
}