基于正时态测试器的实时分支时态逻辑符号化模型检测

发表刊物：

软件学报【中国计算机学会高水平期刊中文A类】

是否译文：

否

发表时间：

2022-08-02

收录刊物：

EI

第一作者：

骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓