《智能系统学报》 过刊查询页面

    关键词中包括 probabilistic timed automata 的文章

1 实时并发系统的PTSL模型检测
王晓燕1, 韩啸1,2, 彭君1, 刘淑芬1 2017年5期 [694-701][摘要](5111)[pdf 1098KB](2140)