SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

algorithm for translating LTL into automata

akcenty
progr. алгоритм трансляции LTL в автоматы (ssn)