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

@inproceedings{TUW-239519,
    author = {Haghighi, Iman and Jones, Austin and Kong, Jones Zhaodan and Bartocci, Ezio and Grosu, Radu and Belta, Calin},
    title = {SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems},
    booktitle = {Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control},
    year = {2015},
    pages = {189--198},
    publisher = {ACM},
    isbn = {978-1-4503-3433-4},
    doi = {10.1145/2728606.2728633},
    note = {talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 -- 2015-04-15}
}


1 Datensatz ausgegeben