Scalable Multi-core Model Checking Fairness Enhanced Systems. Liu, Y., Sun, J., & Dong, J. S. In Proceedings of International Conference on Formal Engineering Methods (ICFEM), pages 426-445, 2009.
Scalable Multi-core Model Checking Fairness Enhanced Systems [link]Paper  Scalable Multi-core Model Checking Fairness Enhanced Systems [pdf]Paper  bibtex   

Downloads: 0