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]

Authors

Evgenii M. Vinarskii

This author has not been identified. Look up 'Evgenii M. Vinarskii' in Google

Natalia Kushik

This author has not been identified. Look up 'Natalia Kushik' in Google

Nina Yevtushenko 0001

This author has not been identified. Look up 'Nina Yevtushenko 0001' in Google

Jorge López

This author has not been identified. Look up 'Jorge López' in Google

Djamal Zeghlache

This author has not been identified. Look up 'Djamal Zeghlache' in Google