Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄ Russian
Google | Forvo | +
to phrases
CTL symbolic model checkingstresses
progr. символьная верификация моделей для CTL (Computation Tree Logic ssn)
CTL symbolic model checking: 2 phrases in 1 subject
Programming2

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