机译:LTL到Büchi自动机的有效翻译
机译:LTL到BüchiAutomata的有效翻译
机译:LTL到确定性Rabin自动机的经过验证的成分翻译
机译:快速LTL到Büchi自动机翻译
机译:使用不确定性有限状态自动机挖掘多个Web源。
机译:通过确定性有限自动机结合高通量测序建模对成年T细胞白血病中HTLV-1感染细胞的克隆扩增进行多学科研究
机译:从ltl和极限确定性büchi自动机到确定性奇偶自动机
机译:关于越南的翻译,编号1885,Tap Chi Quan Doi Nhan Dan,第10期,1976年。