TY  - GENERIC
DO  - 10.20944/preprints202404.0410.v1
UR  - http://dx.doi.org/10.20944/preprints202404.0410.v1
TI  - Correctness Verification of Mutual Exclusion Algorithms by Model Checking
T2  - Preprints
AU  - Nigro, Libero
AU  - Cicirelli, Franco
PY  - 2024
DA  - 2024/04/05
PB  - Preprints