@article{Белишкина2023логико-временная,
author={Белишкина, Т.А. and Константинова, Т.Ю. and Лыков, А.А. and Марков, Д.С. and Микадо, Е.Н. and Соколов, В.Б.},
title={Логико-временная формализация имитационных моделей систем железнодорожной автоматики и телемеханики},
journal={Автоматика на транспорте},
publisher={ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"},
year={2023},
pages={368-376},
volume={9},
issue={4},
}