BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-222241, author = {Bartocci, Ezio}, title = {Sampling-based Decentralized Monitoring for Networked Embedded Systems}, booktitle = {Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems}, year = {2013}, pages = {85--99}, publisher = {Electronic Proceedings in Theoretical Computer Science}, address = {vol. 124}, issn = {2075-2180}, doi = {10.4204/EPTCS.124.9}, note = {talk: HAS 2013, Rome, Italy; 2013-03-17} } 1 Datensatz ausgegeben