@phdthesis{Kolesnichenko,
title={Model-checking mean-field models : algorithms & applications},
ISBN={9789036538213},
url={http://dx.doi.org/10.3990/1.9789036538213},
DOI={10.3990/1.9789036538213},
school={University Library/University of Twente},
author={Kolesnichenko,
Anna Victorovna} }