Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
алгоритмы верификации моделей для формул CTL и для формул LTLstresses
progr. algorithms for CTL model checking, LTL model checking (ssn)
алгоритмы верификации моделей для формул CTL и для формул: 2 phrases in 1 subject
Programming2

Add | Report an error | Get short URL | Language Selection Tips