www.prismmodelchecker.org
[ZLHB10] Q. Zhu, H. Li, Z. Han and T. Basar. A Stochastic Game Model for Jamming in Multi-Channel Cognitive Radio Systems. In Proc. ICC'10, pages 1-6, IEEE. 2010. [bib]
Downloads:  bib bib

Publications