Rosyjski ⇄ Angielski

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

алгоритмы верификации моделей для формул CTL и для формул: 2 do fraz, 1 tematyki

Programowanie

2