@proceedings{DBLP:conf/ipsn/2004,
  editor =	 {Kannan Ramchandran and Janos Sztipanovits and
                  Jennifer C. Hou and Thrasyvoulos N. Pappas},
  title =	 {Proceedings of the Third International Symposium on
                  Information Processing in Sensor Networks, IPSN
                  2004, Berkeley, California, USA, April 26-27, 2004},
  booktitle =	 {IPSN},
  publisher =	 {ACM},
  year =	 {2004},
  isbn =	 {1-58113-846-6},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipsn/2005,
  title =	 {Proceedings of the Fourth International Symposium on
                  Information Processing in Sensor Networks, IPSN
                  2005, April 25-27, 2005, UCLA, Los Angeles,
                  California, USA},
  booktitle =	 {IPSN},
  publisher =	 {IEEE},
  year =	 {2005},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/2000,
  editor =	 {Susanne Graf and Michael I. Schwartzbach},
  title =	 {Tools and Algorithms for Construction and Analysis
                  of Systems, 6th International Conference, TACAS
                  2000, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, ETAPS 2000,
                  Berlin, Germany, March 25 - April 2, 2000,
                  Proceedings},
  booktitle =	 {TACAS},
  publisher =	 {Springer},
  series =	 {Lecture Notes in Computer Science},
  volume =	 {1785},
  year =	 {2000},
  isbn =	 {3-540-67282-6},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{medical,
  author =	 {Loren Schwiebert and Sandeep K. S. Gupta and
                  Jennifer Weinmann},
  title =	 {Research challenges in wireless networks of
                  biomedical sensors.},
  booktitle =	 {MOBICOM},
  year =	 {2001},
  pages =	 {151-165},
  ee =		 {http://doi.acm.org/10.1145/381677.381692},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{randomsleep,
  author =	 {Chih-fan Hsin and Mingyan Liu},
  title =	 {Network coverage using low duty-cycled sensors:
                  random {\&} coordinated sleep algorithms.},
  booktitle =	 {IPSN},
  year =	 {2004},
  pages =	 {433-442},
  ee =		 {http://doi.acm.org/10.1145/984685},
  crossref =	 {DBLP:conf/ipsn/2004},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@article{sensorsurvey1,
  author =	 {David E. Culler and Deborah Estrin and Mani
                  B. Srivastava},
  title =	 {Guest Editors' Introduction: Overview of Sensor
                  Networks.},
  journal =	 {IEEE Computer},
  volume =	 {37},
  number =	 {8},
  year =	 {2004},
  pages =	 {41-49},
  ee =
                  {http://csdl.computer.org/comp/mags/co/2004/08/r8041abs.htm},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@article{sensorsurvey2,
  author =	 {Ian F. Akyildiz and W. Su and Yogesh
                  Sankarasubramaniam and Erdal Cayirci},
  title =	 {Wireless sensor networks: a survey.},
  journal =	 {Computer Networks},
  volume =	 {38},
  number =	 {4},
  year =	 {2002},
  pages =	 {393-422},
  ee =		 {http://dx.doi.org/10.1016/S1389-1286(01)00302-4},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{simulation1,
  author =	 {Andreas Savvides and Sung Park and Mani
                  B. Srivastava},
  title =	 {On modeling networks of wireless microsensors.},
  booktitle =	 {SIGMETRICS/Performance},
  year =	 {2001},
  pages =	 {318-319},
  ee =		 {http://doi.acm.org/10.1145/378420.378808},
  crossref =	 {DBLP:conf/sigmetrics/2001},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{simulation2,
  author =	 {Sung Park and Andreas Savvides and Mani B. Srivastava},
  title =	 {Simulating networks of wireless sensors.},
  booktitle =	 {Winter Simulation Conference},
  year =	 {2001},
  pages =	 {1330-1338},
  ee =		 {http://doi.acm.org/10.1145/564124.564318},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{simulation3,
  author =	 {Philip Baldwin and Sanjeev Kohli and Edward A. Lee
                  and Xiaojun Liu and Yang Zhao},
  title =	 {Modeling of sensor nets in Ptolemy II.},
  booktitle =	 {IPSN},
  year =	 {2004},
  pages =	 {359-368},
  ee =		 {http://doi.acm.org/10.1145/984675},
  crossref =	 {DBLP:conf/ipsn/2004},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{simulation4,
  author =	 {Ahmed Sobeih and Wei-Peng Chen and Jennifer C. Hou
                  and Lu-Chuan Kung and Ning Li and Hyuk Lim and
                  Hung-Ying Tyan and Honghai Zhang},
  title =	 {J-Sim: A Simulation Environment for Wireless Sensor
                  Networks.},
  booktitle =	 {Annual Simulation Symposium},
  year =	 {2005},
  pages =	 {175-187},
  ee =		 {http://dx.doi.org/10.1109/ANSS.2005.27},
  crossref =	 {DBLP:conf/anss/2005},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@article{verifsn1,
  author =	 {P. Volgyesi and M. Maroti and S. Dora and E. Osses
                  and A. Ledeczi},
  title =	 {Software composition and verification for sensor
                  networks},
  journal =	 {Sci. Comput. Program.},
  volume =	 {56},
  number =	 {1-2},
  year =	 {2005},
  issn =	 {0167-6423},
  pages =	 {191--210},
  doi =		 {http://dx.doi.org/10.1016/j.scico.2004.11.012},
  publisher =	 {Elsevier North-Holland, Inc.},
  address =	 {Amsterdam, The Netherlands, The Netherlands},
}

@proceedings{DBLP:conf/sigmetrics/2001,
  title =	 {Proceedings of the Joint International Conference on
                  Measurements and Modeling of Computer Systems,
                  SIGMETRICS 2001, June 16-20, 2001, Cambridge, MA,
                  USA},
  publisher =	 {ACM},
  year =	 {2001},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}
