SłownikiForumKontakt

Google | Forvo | +

algorithm for translating LTL into automata

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

Dodaj | Zgłoś błąd | Krótki link