Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko 0001, Jorge López, Djamal Zeghlache. Timed Transition Tour for Race Detection in Distributed Systems. In Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek, editors, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023. pages 613-620, SCITEPRESS, 2023. [doi]
Abstract is missing.