华侨大学陈祖希--中文主页-- Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata

陈祖希

访问量：

开通时间：..

最后更新时间：..

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

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata

点击次数：

发表刊物：2019 International Symposium on Theoretical Aspects of Software Engineering【中国计算机学会高水平会议C类】

是否译文：否

发表时间：2019-07-24

收录刊物：EI

第一作者：zuxi chen, etc

上一条：Ensuring the Correctness of Regular Expressions: A Review

下一条：Efficient encoding for bounded model checking of timed automata