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]

@inproceedings{VinarskiiK0LZ23,
  title = {Timed Transition Tour for Race Detection in Distributed Systems},
  author = {Evgenii M. Vinarskii and Natalia Kushik and Nina Yevtushenko 0001 and Jorge López and Djamal Zeghlache},
  year = {2023},
  doi = {10.5220/0011986700003464},
  url = {https://doi.org/10.5220/0011986700003464},
  researchr = {https://researchr.org/publication/VinarskiiK0LZ23},
  cites = {0},
  citedby = {0},
  pages = {613-620},
  booktitle = {Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023},
  editor = {Hermann Kaindl and Mike Mannion and Leszek A. Maciaszek},
  publisher = {SCITEPRESS},
  isbn = {978-989-758-647-7},
}