• 其他栏目

    陈祖希

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

    访问量:

    开通时间:..

    最后更新时间:..

    Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata

    点击次数:

    发表刊物:2019 International Symposium on Theoretical Aspects of Software Engineering【中国计算机学会高水平会议C类】

    是否译文:

    发表时间:2019-07-24

    收录刊物:EI

    第一作者:zuxi chen, etc