|
@inproceedings{WoehrlePLBT2008a, author = {Matthias Woehrle and Christian Plessl and Roman Lim and Jan Beutel and Lothar Thiele}, title = {EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks}, booktitle = {Proc. of the IEEE Intl. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing}, pages = {201--208}, publisher = {IEEE}, month = {Jun}, year = {2008} }