@inproceedingsWoehrle_Plessl_Lim_Beutel_Thiele_2008, place=Los Alamitos, CA, USA, title=EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks, DOI=10.1109/SUTC.2008.24, 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 
LibreCat: /record/2370
DOI: 10.1109/SUTC.2008.24