陈祖希
开通时间：..
最后更新时间：..
点击次数：
发表刊物：International Journal of Automation and Computing【SCI检索】
是否译文：否
发表时间：2021-10-15
收录刊物：SCI
第一作者：Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo
上一条：Incremental Witness Generation for Branching-Time Logic CTL
下一条：Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata
