Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL