Sign in | English | Terms of Use
DictionaryForumContacts

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

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