《福建理工大学学报》
过刊查询页面
关键词中包括
实时
的文章
1
实时互斥协议的形式化建模与自动验证
唐郑熠，陈义，薛醒思，杨荣华，王金水 2016年01期 [76－79][
摘要
](
479
)
[
pdf
1060KB]
(
629
)
DOI:
10.3969/j.issn.1672-4348.2016.01.017