@article{691,
  author = {Peter Volgyesi and Miklos Maroti and Sebestyen Dora and Esteban Osses and Akos Ledeczi},
  title = {Software Composition and Verification for Sensor Networks},
  year = {2005},
  journal = {Science of Computer Programming (Elsevier)},
  volume = {56},
  pages = {191--210},
  month = {April},
  language = {eng},
}