Terms containing timed automata

Subject	English	Russian
progr.	definition of timed automata	определение временных автоматов (ssn)
progr.	each pair of transitions from the individual timed automata	каждая пара переходов отдельных временных автоматов (ssn)
progr.	formal semantics for timed automata	формальная семантика временных автоматов (ssn)
progr.	formal semantics for timed automata in terms of infinite state transition graphs	формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)
progr.	individual timed automata	отдельные временные автоматы (ssn)
progr.	modeling with timed automata	моделирование временными автоматами (ssn)
progr.	parallel compositions of timed automata	параллельные композиции временных автоматов (ssn)
progr.	properties of timed automata	свойства временных автоматов (ssn)
progr.	timed automata	временные автоматы (ssn)
progr.	timed automata	синхронные автоматы (ssn)
automat.	timed automata model	модель временных автоматов (alexeyaxim)