中文
Home > Scientific Research > Paper Publications

Incremental Witness Generation for Branching-Time Logic CTL

Hits:

  • Journal:IEEE Transactions on Reliability【SCI检索】

  • Translation or Not:no

  • Included Journals:SCI

  • First Author:Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen【通讯作者】, and Fan Yang

  • Co-author:Sen Liang, Lixiao Zheng, Zuxi Chen【通讯作者】, and Fan Yang

  • Correspondence Author:Zuxi Chen

  •

Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021    Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021 Click:
  MOBILE Version

The Last Update Time:..