%0 Conference Paper %1 conf/sutc/WoehrlePLBT08 %A Woehrle, Matthias %A Plessl, Christian %A Lim, Roman %A Beutel, Jan %A Thiele, Lothar %B SUTC %D 2008 %E Singhal, Mukesh %E Serugendo, Giovanna Di Marzo %E Tsai, Jeffrey J. P. %E Lee, Wang-Chien %E Römer, Kay %E Tseng, Yu-Chee %E Hsiao, Han C. W. %I IEEE Computer Society %K %P 201-208 %T EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks. %U http://dblp.uni-trier.de/db/conf/sutc/sutc2008.html#WoehrlePLBT08 %@ 978-0-7695-3158-8

@inproceedings{conf/sutc/WoehrlePLBT08, added-at = {2023-12-12T19:57:04.000+0100}, author = {Woehrle, Matthias and Plessl, Christian and Lim, Roman and Beutel, Jan and Thiele, Lothar}, biburl = {https://www.bibsonomy.org/bibtex/2fca8c589da693203628bf7893cb366d1/admin}, booktitle = {SUTC}, crossref = {conf/sutc/2008}, editor = {Singhal, Mukesh and Serugendo, Giovanna Di Marzo and Tsai, Jeffrey J. P. and Lee, Wang-Chien and Römer, Kay and Tseng, Yu-Chee and Hsiao, Han C. W.}, ee = {http://doi.ieeecomputersociety.org/10.1109/SUTC.2008.24}, interhash = {285568e757e3a2459e6cac9daf40871c}, intrahash = {fca8c589da693203628bf7893cb366d1}, isbn = {978-0-7695-3158-8}, keywords = {}, pages = {201-208}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T19:57:04.000+0100}, title = {EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.}, url = {http://dblp.uni-trier.de/db/conf/sutc/sutc2008.html#WoehrlePLBT08}, year = 2008 }