Incremental Witness Generation for Branching-Time Logic CTL

发表刊物：

IEEE Transactions on Reliability【SCI检索，中科院二区，中国计算机学会推荐期刊C类】

是否译文：

否

发表时间：

2022-08-02

收录刊物：

SCI

第一作者：

Xiangyu Luo

合写作者：

Sen Liang, Lixiao Zheng, and Fan Yang

通讯作者：

Zuxi Chen