@doctoralThesis{Lutsyk_2018,
title={Correctness of multi-core processors with operating system support},
author={Lutsyk, Petro},
doi={http://dx.doi.org/10.22028/D291-27383},
year={2018}
}