Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing algorithms for CTL model checking, LTL model checking | all forms | exact matches only | in specified order only
EnglishRussian
algorithms for CTL model checking, LTL model checkingалгоритмы верификации моделей для формул CTL и для формул LTL (ssn)
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automataалгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn)

Get short URL