DiccionariosForoContactos

   Inglés Ruso +
Google | Forvo | +

algorithm for translating LTL into automata

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