@InProceedings{henderson:DagSemProc.05381.4,
  author =	{Henderson, Thomas C.},
  title =	{{Verification and Validation of Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.4},
  URN =		{urn:nbn:de:0030-drops-7532},
  doi =		{10.4230/DagSemProc.05381.4},
  annote =	{Keywords: Models, verification, validation}
}