@inproceedings{2370,
  author       = {{Woehrle, Matthias and Plessl, Christian and Lim, Roman and Beutel, Jan and Thiele, Lothar}},
  booktitle    = {{IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)}},
  isbn         = {{978-0-7695-3158-8}},
  keywords     = {{WSN, testing, verification}},
  pages        = {{201--208}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks}}},
  doi          = {{10.1109/SUTC.2008.24}},
  year         = {{2008}},
}