Faculty of Informatics, Masaryk University in Brno, Botanicka 68a, 602 00 Brno, Czech Republic;
机译:具有通用接受和背部的自循环交替自动机的LTL
机译:基于自动机的监控LTL-FO〜+
机译:LTL到确定性Rabin自动机的经过验证的成分翻译
机译:LTL和交替自动机之间的深度连接
机译:基于交替自动机的验证算法。
机译:复杂的组织性房性心律失常可能涉及心外膜连接的两个回路之间交替:超高密度作图研究
机译:LTL与交替自动机之间更深层次的连接