TY  - RPRT
TI  - Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems
AU  - Hosein Nazarpour
AU  - Yliès Falcone
AU  - Saddek Bensalem
AU  - Marius Bozga
PY  - 2017
UR  - https://arxiv.org/abs/1612.06154
ID  - 1612.06154
ER  -