Institut fuer Informatik und Praktische Mathematik, CAU Kiel, Germany;
机译:基于自动机的监控LTL-FO〜+
机译:具有通用接受和背部的自循环交替自动机的LTL
机译:LTL到确定性Rabin自动机的经过验证的成分翻译
机译:基于SAT的自动机施工,用于LTL过度痕迹
机译:广义弦最优自动机的算法构造和随机分析
机译:任何其他名称的生物墨水:与3D生物打印有关的术语概念和构造
机译:LTL自动机构造的概念
机译:在随机自动机网络中使用自旋玻璃概念。