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
The Last Update Time:..