{"place":"Los Alamitos, CA, USA","publisher":"IEEE Computer Society","page":"201-208","author":[{"last_name":"Woehrle","full_name":"Woehrle, Matthias","first_name":"Matthias"},{"full_name":"Plessl, Christian","orcid":"0000-0001-5728-9982","first_name":"Christian","id":"16153","last_name":"Plessl"},{"last_name":"Lim","full_name":"Lim, Roman","first_name":"Roman"},{"last_name":"Beutel","full_name":"Beutel, Jan","first_name":"Jan"},{"full_name":"Thiele, Lothar","first_name":"Lothar","last_name":"Thiele"}],"_id":"2370","date_created":"2018-04-17T12:03:20Z","publication":"IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)","doi":"10.1109/SUTC.2008.24","department":[{"_id":"27"},{"_id":"518"}],"date_updated":"2022-01-06T06:55:58Z","type":"conference","keyword":["WSN","testing","verification"],"publication_identifier":{"isbn":["978-0-7695-3158-8"]},"title":"EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks","citation":{"ama":"Woehrle M, Plessl C, Lim R, Beutel J, Thiele L. EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks. In: IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC). Los Alamitos, CA, USA: IEEE Computer Society; 2008:201-208. doi:10.1109/SUTC.2008.24","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={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} }","chicago":"Woehrle, Matthias, Christian Plessl, Roman Lim, Jan Beutel, and Lothar Thiele. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.” In IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 201–8. Los Alamitos, CA, USA: IEEE Computer Society, 2008. https://doi.org/10.1109/SUTC.2008.24.","apa":"Woehrle, M., Plessl, C., Lim, R., Beutel, J., & Thiele, L. (2008). EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks. In IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC) (pp. 201–208). Los Alamitos, CA, USA: IEEE Computer Society. https://doi.org/10.1109/SUTC.2008.24","mla":"Woehrle, Matthias, et al. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.” IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), IEEE Computer Society, 2008, pp. 201–08, doi:10.1109/SUTC.2008.24.","ieee":"M. Woehrle, C. Plessl, R. Lim, J. Beutel, and L. Thiele, “EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks,” in IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 2008, pp. 201–208.","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."},"year":"2008","status":"public","user_id":"24135"}