BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-273179,
    author = {Bartocci, Ezio},
    title = {Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)},
    booktitle = {Proc. of RV 2018: the 18th International Conference on Runtime Verification},
    year = {2018},
    pages = {35--42},
    address = {11237},
    doi = {10.1007/978-3-030-03769-7},
    note = {talk: Proc. of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus; 2018-11-10 -- 2018-11-13}
}


1 Datensatz ausgegeben