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

@inproceedings{TUW-262615,
    author = {Selyunin, Konstantin and Jaksic, Stefan and Nguyen, Thang and Reidl, Christian and Hafner, Udo and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu},
    title = {Runtime Monitoring with Recovery of the SENT Communication Protocol},
    booktitle = {Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification},
    year = {2017},
    pages = {336--355},
    publisher = {Springer},
    address = {10426},
    doi = {10.1007/978-3-319-63387-9{\_}17},
    note = {talk: CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; 2017-07-24 -- 2017-07-28}
}


1 Datensatz ausgegeben