DictionaryForumContacts

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