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

@inproceedings{TUW-212947,
    author = {Donze, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott A.},
    title = {On Temporal Logic and Signal Processing},
    booktitle = {Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis},
    year = {2012},
    pages = {92--106},
    publisher = {LNCS/Springer},
    address = {vol. 7561},
    isbn = {978-3-642-33385-9},
    doi = {10.1007/978-3-642-33386-6{\_}9},
    note = {talk: Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India; 2012-10-03 -- 2012-10-06}
}


1 Datensatz ausgegeben