Aguado, JoaquínJoaquínAguadoDuenas, AlejandraAlejandraDuenas2025-05-132025-05-1320241558-34651539-9087https://fis.uni-bamberg.de/handle/uniba/107767engSynchronised Shared Memory and Model Checkingarticle10.1145/3626188https://dl.acm.org/doi/pdf/10.1145/3626188