@article{202404.0410,
	doi = {10.20944/preprints202404.0410.v1},
	url = {https://doi.org/10.20944/preprints202404.0410.v1},
	year = 2024,
	month = {April},
	publisher = {Preprints},
	author = {Libero Nigro and Franco Cicirelli},
	title = {Correctness Verification of Mutual Exclusion Algorithms by Model Checking},
	journal = {Preprints}
}