共 50 条
- [42] On-the-fly verification and optimization of DTA-properties for large Markov chains Formal Methods in System Design, 2013, 43 : 313 - 337
- [49] Queuing and Service Management for Congestion Control in Wireless Sensor Networks Using Markov Chains 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2017, : 176 - 181