 |
Terms for subject Programming containing translating LTL into automata | all forms | in specified order only
| English | Russian |
| algorithm for translating LTL into automata | алгоритм трансляции LTL в автоматы (ssn) |
| translating LTL into automata | трансляция LTL в автоматы (ssn) |