@inproceedings{'NFB+6',
title = { Monitoring Multi-threaded Component-Based Systems },
author = {Nazarpour, Hosein and Falcone, Ylies and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
year = {2016},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings},
crossref = {DBLP:conf/ifm/2016},
pages = {141--159},
team = {DCS, RSD},
}
