אנגלית ⇄ רוסית

formal semantics for timed automata in terms of infinite state transition graphs מתח
.תִכנו	формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)