标题 |
书籍(章节) Design and synthesis of synchronization skeletons using branching time temporal logic
基于分支时态逻辑的同步骨架设计与综合
相关领域
计算机科学
时态逻辑
正确性
模型检查
线性时序逻辑
同步(交流)
程序设计语言
理论计算机科学
国家(计算机科学)
有限状态机
行动的时间逻辑
分布式计算
区间时态逻辑
算法
计算机网络
频道(广播)
|
网址 | |
DOI | |
其它 |
期刊:Springer eBooks 作者:Edmund M. Clarke; E. Allen Emerson 出版日期:2005-11-19 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|