Lefteris M. Kirousis, Andreas G. Veneris. Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations. Acta Informatica, 32(2):155-170, 1995.
@article{KirousisV95, title = {Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations}, author = {Lefteris M. Kirousis and Andreas G. Veneris}, year = {1995}, researchr = {https://researchr.org/publication/KirousisV95}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {32}, number = {2}, pages = {155-170}, }