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

@inproceedings{TUW-244699,
    author = {Jaksic, Stefan and Bartocci, Ezio and Grosu, Radu and Kloibhofer, Reinhard and Nguyen, Thang and Nickovic, Dejan},
    title = {From Signal Temporal Logic to FPGA Monitors},
    booktitle = {Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design},
    year = {2015},
    pages = {218--227},
    publisher = {IEEE},
    doi = {10.1109/MEMCOD.2015.7340489},
    note = {talk: 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; 2015-09-21 -- 2015-09-23}
}


1 Datensatz ausgegeben