华侨大学陈祖希--中文主页-- Efficient encoding for bounded model checking of timed automata

陈祖希

访问量：

开通时间：..

最后更新时间：..

当前位置：中文主页 >> 科学研究 >> 论文成果

Efficient encoding for bounded model checking of timed automata

点击次数：

发表刊物：IEEJ Transactions on Electrical and Electronic Engineering【SCI检索】

是否译文：否

发表时间：2017-05-09

收录刊物：SCI

第一作者：Zuxi Chen, etc

上一条：Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata

下一条：国际碳排放权分配方案的构建——基于全球公共物品和财产权的视角