Nigro, L., & Cicirelli, F. (2024, June). Correctness Verification of Mutual Exclusion Algorithms by Model Checking. Modelling.
Chicagoスタイル(17版)引用形式Nigro, Libero, , Franco Cicirelli. "Correctness Verification of Mutual Exclusion Algorithms by Model Checking." Modelling Jun. 2024.
MLA(9版)引用形式Nigro, Libero, , Franco Cicirelli. "Correctness Verification of Mutual Exclusion Algorithms by Model Checking." Modelling, Jun. 2024.
警告: この引用は必ずしも正確ではありません.