Для цитирования:
ТВАРДОВСКИЙ А.С., БУРДОНОВ И.Б., ЕВТУШЕНКО Н.В. Идентификация финального состояния в автоматах с таймаутами и временными ограничениями. Труды Института системного программирования РАН. 2026;38(4):7-22. https://doi.org/10.15514/ISPRAS-2026-38(4)-16
For citation:
TVARDOVSKII A.S., BURDONOV I.B., YEVTUSHENKO N.V. Final State Identification of Finite State Machines with Timeouts and Timed Guards. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(4):7-22. (In Russ.) https://doi.org/10.15514/ISPRAS-2026-38(4)-16
Послать статью по эл. почте 