Paper Publications

Ensuring the Correctness of Regular Expressions: A Review

Hits:
Journal:International Journal of Automation and Computing【SCI检索】
Translation or Not:no
Included Journals:SCI
First Author:Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo

Pre One:Incremental Witness Generation for Branching-Time Logic CTL Next One:Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata