• 更多栏目

    李大奎

    • 教授级高工       硕士生导师
    • 性别:男
    • 毕业院校:大连理工大学
    • 学位:硕士
    • 所在单位:软件学院、国际信息与软件学院
    • 电子邮箱:ldk@dlut.edu.cn

    访问量:

    开通时间:..

    最后更新时间:..

    Wus Method Based Temporal Assertions Checking for SEREs Properties

    点击次数:

    论文类型:期刊论文

    发表时间:2013-01-01

    发表刊物:Journal of Information & Computational Science

    卷号:3

    期号:10

    页面范围:901-910