搜索到 篇“ 线性时态逻辑 “的相关文章

相关作者

黄滟鸿
作品数：129被引量：4H指数：1
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
赵岭忠
作品数：119被引量：136H指数：6
供职机构：桂林电子科技大学
研究主题：并发系统 网络 CSP 多智能体 基于ASP
钱俊彦
作品数：147被引量：215H指数：6
供职机构：桂林电子科技大学
研究主题：网络 并发系统 STATECHARTS 等价 CSP
林闯
作品数：340被引量：7,955H指数：43
供职机构：哈尔滨工业大学
研究主题：PETRI网 服务质量 随机PETRI网 计算机网络 性能分析
古天龙
作品数：481被引量：1,391H指数：16
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点