SłownikiForumKontakt

   Angielski Rosyjski
Google | Forvo | +
formal semantics for timed automata in terms of infinite state transition graphsakcenty
progr. формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)