BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-222242, author = {Bartocci, Ezio and Grosu, Radu}, title = {Monitoring with uncertainty}, booktitle = {Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems}, year = {2013}, publisher = {Electronic Proceedings in Theoretical Computer Science}, address = {vol. 124}, numpages = {4}, issn = {2075-2180}, doi = {10.4204/EPTCS.124.1}, note = {invited; talk: HAS 2013, Rome, Italy; 2013-03-17} } 1 Datensatz ausgegeben