Correctness Verification of Mutual Exclusion Algorithms by Model Checking
Preprint in Preprints.org (April 2024)
The most recent citing publications are shown below. View all 583 publications that cite this research output on Dimensions.
Preprint in Preprints.org (April 2024)
Monograph (January 2024)
Article in Journal of Parallel and Distributed Computing (December 2023)