Kroening, D., Alglave, J., Nimal, V., & Poetzl, D. (2017). Don’t sit on the fence: A static analysis approach to automatic fence insertion. Association for Computing Machinery.
Cita Chicago (17th ed.)Kroening, D., J. Alglave, V. Nimal, i D. Poetzl. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.
Cita MLA (9th ed.)Kroening, D., et al. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.
Atenció: Aquestes cites poden no estar 100% correctes.