Ensuring the Correctness of Regular Expressions: A Review

点击次数：

发表刊物：

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