Ionut Tamas, Ioan Salomie, Marcel Antal. Atomic invariants verification and deadlock detection at compile-time. In Radu Razvan Slavescu, editor, 14th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2018, Cluj-Napoca, Romania, September 6-8, 2018. pages 435-441, IEEE, 2018. [doi]
@inproceedings{TamasSA18, title = {Atomic invariants verification and deadlock detection at compile-time}, author = {Ionut Tamas and Ioan Salomie and Marcel Antal}, year = {2018}, doi = {10.1109/ICCP.2018.8516602}, url = {https://doi.org/10.1109/ICCP.2018.8516602}, researchr = {https://researchr.org/publication/TamasSA18}, cites = {0}, citedby = {0}, pages = {435-441}, booktitle = {14th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2018, Cluj-Napoca, Romania, September 6-8, 2018}, editor = {Radu Razvan Slavescu}, publisher = {IEEE}, isbn = {978-1-5386-8445-0}, }