Model checking with fairness assumptions using PAT. Si, Y., Sun, J., Liu, Y., Dong, J. S., Pang, J., Zhang, S. J., & Yang, X. Frontiers of Computer Science (FCSC), 8(1):1-16, 2014.
Model checking with fairness assumptions using PAT [link]Paper  Model checking with fairness assumptions using PAT [pdf]Paper  bibtex   

Downloads: 0