• 其他栏目

    陈祖希

    • 硕士生导师
    • 性别:男
    • 学历:博士研究生
    • 学位:工学博士学位
    • 入职时间:2016-06-06
    • 办公地点:机电楼A409
    • 电子邮箱:
    • 在职信息:在岗

    访问量:

    开通时间:..

    最后更新时间:..

    Incremental Witness Generation for Branching-Time Logic CTL

    点击次数:

    发表刊物:IEEE Transactions on Reliability

    是否译文:

    发表时间:2022-08-02

    收录刊物:SCI

    第一作者:Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen【通讯作者】, and Fan Yang

    合写作者:Sen Liang, Lixiao Zheng, Zuxi Chen【通讯作者】, and Fan Yang

    通讯作者:Zuxi Chen