@phdthesis{Naz7,
title = {Monitoring Multi-threaded and Distributed Component-Based Systems },
author = {Nazarpour, Hosein},
year = {2017},
school = {University Grenoble Alpes},
team = {RSD},
}