[YPH13]
Guofeng Yan, Yuxing Peng and Bin Huang.
State Reachability of Wireless Lossy Channel Systems: Modeling and Probabilistic Analyzing.
Journal of Computational Information Systems, 9(4), pages 1381–1388.
2013.
[Analyses wireless lossy channel systems using PRISM.]
|
