关键词中包括 probabilistic timed strategy logic 的文章

1 实时并发系统的PTSL模型检测 王晓燕1, 韩啸1,2, 彭君1, 刘淑芬1 2017年5期 [694－701][摘要](5348)[pdf 1098KB](2584) DOI:10.11992/tis.201706008