![](/img/cover-not-exists.png)
Model checking with fairness assumptions using PAT
Si, Yuanjie, Sun, Jun, Liu, Yang, Dong, Jin Song, Pang, Jun, Zhang, Shao Jie, Yang, XiaohuVolume:
8
Language:
english
Journal:
Frontiers of Computer Science
DOI:
10.1007/s11704-013-3091-5
Date:
February, 2014
File:
PDF, 738 KB
english, 2014