---
_id: '2370'
author:
- first_name: Matthias
  full_name: Woehrle, Matthias
  last_name: Woehrle
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
- first_name: Roman
  full_name: Lim, Roman
  last_name: Lim
- first_name: Jan
  full_name: Beutel, Jan
  last_name: Beutel
- first_name: Lothar
  full_name: Thiele, Lothar
  last_name: Thiele
citation:
  ama: 'Woehrle M, Plessl C, Lim R, Beutel J, Thiele L. EvAnT: Analysis and Checking
    of event traces for Wireless Sensor Networks. In: <i>IEEE Int. Conf. on Sensor
    Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>. IEEE Computer Society;
    2008:201-208. doi:<a href="https://doi.org/10.1109/SUTC.2008.24">10.1109/SUTC.2008.24</a>'
  apa: 'Woehrle, M., Plessl, C., Lim, R., Beutel, J., &#38; Thiele, L. (2008). EvAnT:
    Analysis and Checking of event traces for Wireless Sensor Networks. <i>IEEE Int.
    Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>, 201–208.
    <a href="https://doi.org/10.1109/SUTC.2008.24">https://doi.org/10.1109/SUTC.2008.24</a>'
  bibtex: '@inproceedings{Woehrle_Plessl_Lim_Beutel_Thiele_2008, place={Los Alamitos,
    CA, USA}, title={EvAnT: Analysis and Checking of event traces for Wireless Sensor
    Networks}, DOI={<a href="https://doi.org/10.1109/SUTC.2008.24">10.1109/SUTC.2008.24</a>},
    booktitle={IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing
    (SUTC)}, publisher={IEEE Computer Society}, author={Woehrle, Matthias and Plessl,
    Christian and Lim, Roman and Beutel, Jan and Thiele, Lothar}, year={2008}, pages={201–208}
    }'
  chicago: 'Woehrle, Matthias, Christian Plessl, Roman Lim, Jan Beutel, and Lothar
    Thiele. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.”
    In <i>IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing
    (SUTC)</i>, 201–8. Los Alamitos, CA, USA: IEEE Computer Society, 2008. <a href="https://doi.org/10.1109/SUTC.2008.24">https://doi.org/10.1109/SUTC.2008.24</a>.'
  ieee: 'M. Woehrle, C. Plessl, R. Lim, J. Beutel, and L. Thiele, “EvAnT: Analysis
    and Checking of event traces for Wireless Sensor Networks,” in <i>IEEE Int. Conf.
    on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)</i>, 2008, pp.
    201–208, doi: <a href="https://doi.org/10.1109/SUTC.2008.24">10.1109/SUTC.2008.24</a>.'
  mla: 'Woehrle, Matthias, et al. “EvAnT: Analysis and Checking of Event Traces for
    Wireless Sensor Networks.” <i>IEEE Int. Conf. on Sensor Networks, Ubiquitous,
    and Trustworthy Computing (SUTC)</i>, IEEE Computer Society, 2008, pp. 201–08,
    doi:<a href="https://doi.org/10.1109/SUTC.2008.24">10.1109/SUTC.2008.24</a>.'
  short: 'M. Woehrle, C. Plessl, R. Lim, J. Beutel, L. Thiele, in: IEEE Int. Conf.
    on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), IEEE Computer
    Society, Los Alamitos, CA, USA, 2008, pp. 201–208.'
date_created: 2018-04-17T12:03:20Z
date_updated: 2023-09-26T13:55:02Z
department:
- _id: '27'
- _id: '518'
doi: 10.1109/SUTC.2008.24
keyword:
- WSN
- testing
- verification
language:
- iso: eng
page: 201-208
place: Los Alamitos, CA, USA
publication: IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing
  (SUTC)
publication_identifier:
  isbn:
  - 978-0-7695-3158-8
publisher: IEEE Computer Society
quality_controlled: '1'
status: public
title: 'EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks'
type: conference
user_id: '15278'
year: '2008'
...