Sophia G. Petridou, Stylianos Basagiannis, Manos Roumeliotis. Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks. IEEE Systems Journal, 7(1):4-12, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.