Sign in | English | Terms of Use
DictionaryForumContacts

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

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