Для цитирования:

Винарский Е.М., Захаров В.А. К проверке строго детерминированного поведения временных конечных автоматов. Труды Института системного программирования РАН. 2018;30(3):325-340. https://doi.org/10.15514/ISPRAS-2018-30(3)-22

For citation:

Vinarskii E.M., Zakharov V.A. On the verification of strictly deterministic behavior of Timed Finite State Machines. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(3):325-340. https://doi.org/10.15514/ISPRAS-2018-30(3)-22