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

@inproceedings{TUW-256380,
    author = {Selyunin, Konstantin and Nguyen, Thang and Basa, Andrei-Daniel and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu},
    title = {Applying High-Level Synthesis for Synthesizing Hardware Runtime STL{\textvisiblespace}Monitors of Mission-Critical Properties},
    booktitle = {Design and Verification Conference and Exhibition},
    year = {2016},
    publisher = {Online},
    numpages = {8},
    url = {http://events.dvcon.org/2016/proceedings/papers/02_3.pdf},
    note = {talk: Design and Verification Conference and Exhibition, San Jose, USA; 2016-02-29 -- 2016-03-03}
}


1 Datensatz ausgegeben