Computer Security; Dynamic Analysis; Monitoring Software Safety;
机译:用非确定性自动模拟树木交替自动-RABIN,MCNAUGHTON和SAFRA定理的新结果和新方法。
机译:用广义Rabin和Fin-less自动机进行模型检查
机译:用广义rabin和少量自动机的模型检查
机译:生成Rabin自动机的在线监视器
机译:自动机产生的群和半群
机译:用显微镜和算法生成的表面上带有细胞自动机的Noyes-Whitney方程数值解法对甲胺酸制剂的崩解和溶解行为进行建模
机译:将Rabin自动机转换为平价的指数外观记录 自动机