HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 论文大全 buchi自动机论文 列表
期刊分类
期刊收录
出版地区
LTL公式到自动机的转换第241-243页
关键词: 模型检验  buchi自动机  选择buchi自动机  ltl公式  
2008年第07期 《计算机科学》