Ameena K. Ashraf, Meenakshi D'Souza. Static Data Race Detection in Multi-task Programs for Industrial Robots. In Anisur Rahaman Molla, Gokarna Sharma, Pradeep Kumar 0001, Sanjay Rawat 0001, editors, Distributed Computing and Intelligent Technology - 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings. Volume 13776 of Lecture Notes in Computer Science, pages 51-66, Springer, 2023. [doi]
Abstract is missing.