@ARTICLE{
author={Moiseenko Evgenii,Kokologiannakis Michalis,Vafeiadis Viktor},
year={2022},
title={Model Checking for a Multi-Execution Memory Model},
journal={PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL},
volume={6},
number={OOPSLA},
pages={-},
document_type={Article},
}