维普中文期刊产品整合服务

Automatic verification of finite-state concurrent systems using temporal logic specifications

查看全文 作　　者：Clarke E M;Emerson E A;Sistla A P 高影响力作者 出　　处：《ACM Transactions on Programming Languages and Systems(TOPLAS)》索引1986年第8卷,共0页高影响力期刊
相关文献

引证文献(1)

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费