位置：成果数据库 > 期刊 > 期刊详情页
Connection between logical and algebraical approaches to concurrent systems
  • 时间：0
  • 相关项目：软件形式化方法
同期刊论文项目
软件形式化方法
期刊论文 27 会议论文 49
同项目期刊论文
A note on regular Petri nets
基于BDD的增量启发式搜索
A Direct Construction of Polynomial-size OBDD Proof of Pigeon Hole Problem
Ehrenfeucht-Fraisse Games in Finite Set Theory
Improved Bounded Model Checking for Universal Fragment of CTL
Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
Rate monotonic scheduling re-analysed
Clustering with feature order preferences
Symbolic decision procedure for termination
采用了剪枝优化的子类型关系判定
A Precongruence Format For Should Testing Preorder
Loop formulas for description logic programs
On the Expressive Power of Schemes
On hierarchically developing reactive systems
A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL
片上多核处理器存储一致性验证
Robust Exponential Stability of Uncertain Singular Markovian Jump Time-delay Systems
改进的以SMT为基础的实时系统限界模型检测
采用了剪枝优化的子类型关系判定算法
Improved Bounded Model Checking for the Universal Fragment of CTL
直觉线性μ-演算中的合成推理