Correctness Verification of Mutual Exclusion Algorithms by Model Checking
Article in Modelling—International Open Access Journal of Modelling in Engineering Science (June 2024)
The most recent citing publications are shown below. View all 12 publications that cite this research output on Dimensions.
Article in Modelling—International Open Access Journal of Modelling in Engineering Science (June 2024)
Article in Computers (May 2024)
Article in Mathematics (March 2024)