Frontiers of Computer Science. 2014;8(1):1-16. doi: 10.1007/s11704-013-3091-5 Q17.32025

Model checking with fairness assumptions using PAT

使用PAT进行公平性假设的模型检查

Si, Yuanjie; Sun, Jun; Liu, Yang; Dong, Jin Song; Pang, Jun; Zhang, Shao Jie; Yang, Xiaohu

DOI: 10.1007/s11704-013-3091-5

期刊名：Frontiers of computer science

缩写：FRONT COMPUT SCI-CHI

ISSN：2095-2228

e-ISSN：2095-2236

IF/分区：7.3/Q1

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：