APA (7th ed.) Citation

Nigro, L., & Cicirelli, F. Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes. MDPI AG.

Chicago Style (17th ed.) Citation

Nigro, Libero, and Franco Cicirelli. Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes. MDPI AG.

MLA (9th ed.) Citation

Nigro, Libero, and Franco Cicirelli. Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes. MDPI AG.

Warning: These citations may not always be 100% accurate.