Terms containing timed automata

Subject	English	Russian
progr.	algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata	алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn)
progr.	algorithms for testing inclusion between timed omega automata	алгоритмы проверки включения временных омега-автоматов (ssn)
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.	testing inclusion between timed omega automata	проверка включения временных омега-автоматов (ssn)
progr.	timed automata	временные автоматы (ssn)
progr.	timed automata	синхронные автоматы (ssn)
automat.	timed automata model	модель временных автоматов (alexeyaxim)
progr.	timed omega automata	временные омега-автоматы (ssn)