 |
алгоритмы верификации моделей для формул
| и
| для
| формул
| алгоритмы верификации моделей для формул CTL | |
| progr. | algorithms for CTL model checking |
| и | |
| gen. | and; too; also; comma; plus |
| book. | versus |
| chinese.lang. | yi; i |
| для | |
| gen. | for |
| формула | |
| construct. | formula |
| |||
| algorithms for LTL model checking (ssn) | |||
| |||
| algorithms for CTL model checking (ssn) | |||
| алгоритмы верификации моделей для формул: 3 phrases in 1 subject |
| Programming | 3 |