Fingerprint
Dive into the research topics of 'MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity
Junfu Luo, Jiaqi Yin, Huibiao Zhu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review