Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking.

Yixuan Zan, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang

Browse the full HPCC paper archive.