Ruso ⇄ Inglés

алгоритмы верификации моделей для формул CTL и для формул LTL acentos
progr.	algorithms for CTL model checking, LTL model checking (ssn)

алгоритмы верификации моделей для формул CTL и для формул: 2 a las frases, 1 temas

Programación

2