南京师范大学学报（工程技术版）
过刊查询页面
关键词中包括
model checking
的文章
1
具有行为观察的移动界程演算空间逻辑
陈江，林荣德
2011年04期 [70－76][
摘要
](
1345
)
[
pdf
298KB]
(
2888
)