Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
Monitoring Multi-threaded Component-Based Systems
IFM, 2016.
@inproceedings{IFM-2016-NazarpourFBBC,
author = "Hosein Nazarpour and Yliès Falcone and Saddek Bensalem and Marius Bozga and Jacques Combaz",
booktitle = "{Proceedings of the 12th International Conference on Integrated Formal Methods}",
doi = "10.1007/978-3-319-33693-0_10",
isbn = "978-3-319-33692-3",
pages = "141--159",
publisher = "{Springer}",
title = "{Monitoring Multi-threaded Component-Based Systems}",
year = 2016,
}
Tags: