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

Твардовский А.С., Лапутенко А.В. О возможностях автоматного описания параллельной композиции временных автоматов. Труды Института системного программирования РАН. 2018;30(1):25-40. https://doi.org/10.15514/ISPRAS-2018-30(1)-2

For citation:

Tvardovskii A.S., Laputenko A.V. On the possibilities of FSM description of Parallel composition of Timed Finite State Machines. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(1):25-40. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(1)-2