{"quality_controlled":"1","type":"conference","user_id":"15278","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"page":"201-208","date_created":"2018-04-17T12:03:20Z","keyword":["WSN","testing","verification"],"year":"2008","department":[{"_id":"27"},{"_id":"518"}],"status":"public","author":[{"first_name":"Matthias","last_name":"Woehrle","full_name":"Woehrle, Matthias"},{"id":"16153","first_name":"Christian","full_name":"Plessl, Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982"},{"last_name":"Lim","full_name":"Lim, Roman","first_name":"Roman"},{"first_name":"Jan","full_name":"Beutel, Jan","last_name":"Beutel"},{"full_name":"Thiele, Lothar","last_name":"Thiele","first_name":"Lothar"}],"publication":"IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)","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). 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} }","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.","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, doi: 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.","apa":"Woehrle, M., Plessl, C., Lim, R., Beutel, J., & Thiele, L. (2008). EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks. IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 201–208. https://doi.org/10.1109/SUTC.2008.24","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."},"title":"EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks","date_updated":"2023-09-26T13:55:02Z","_id":"2370","place":"Los Alamitos, CA, USA","publication_identifier":{"isbn":["978-0-7695-3158-8"]},"doi":"10.1109/SUTC.2008.24"}