Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing formal semantics for timed automata | all forms | exact matches only | in specified order only
SubjectEnglishRussian
progr.formal semantics for timed automataформальная семантика временных автоматов (ssn)
progr.formal semantics for timed automata in terms of infinite state transition graphsформальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)

Get short URL