位置：成果数据库 > 期刊 > 期刊详情页
A New Model for Model Checking, Cycle Weighted Kripke Structure
  • 期刊名称：Journal of Frontiers of Computer Science in China
  • 时间：0
  • 页码：78-88
  • 语言：英文
  • 相关项目：基于Petri网的构件组装正确性研究
作者： Zhongyuan Xu, Chunxiang Xu|Hanpin Wang|Jiaqi Zhu|
同期刊论文项目
基于Petri网的构件组装正确性研究
期刊论文 9 会议论文 12
同项目期刊论文
死路删除语义下的WS-BPEL流程的建模
A Fuzzy Petri-Nets Model for Computing With Words
基于时序可中断π演算的 BPEL 和BPEL4People 建模
The formal analysis of sequence diagram by an object-oriented timed transition system
时序π演算及其对ＭＡＲＴＥ顺序图的建模
Bisimulations for fuzzy-transition systems
Approximation algorithm for maximum edge coloring