《集美大学学报（自然科学版）》
过刊查询页面
关键词中包括
Promela
的文章
1
基于模型检测的SSL协议形式化验证
王巍
1
，曾华朴
1
，黄艳洋
2
2014年第5期 [386－392][
摘要
](
1498
)(
)
DOI: