Timed Transition Tour for Race Detection in Distributed Systems

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.