@inproceedings{8f6cb1bf7a23420bb8d825af10ea0e0e,
title = "Runtime Monitoring with Recovery of the SENT Communication Protocol",
author = "Konstantin Selyunin and Stefan Jaksic and Thang Nguyen and Christian Reidl and Udo Hafner and Ezio Bartocci and Dejan Nickovic and Radu Grosu",
year = "2017",
language = "English",
isbn = "978-3-319-63387-9",
pages = "336--355",
booktitle = "Proceedings of the 29th international conference on Computer aided verification",
note = "Proceedings of the 29th international conference on Computer aided verification ; Conference date: 21-09-2017 Through 23-09-2017",
}