אנגלית ⇄ רוסית

algorithms for CTL model checking מתח
.תִכנו	алгоритмы верификации моделей для формул CTL (ssn)

algorithms for CTL model checking: 3 צירופים, 1 נושאים

תִכנוּת

3