Media type: E-Article Title: Formal analysis of a calculus for WSNs from quality perspective Contributor: Wu, Xi; Zhu, Huibiao Published: Elsevier BV, 2018 Published in: Science of Computer Programming, 154 (2018), Seite 134-153 Language: English DOI: 10.1016/j.scico.2017.08.007 ISSN: 0167-6423 Origination: Footnote: Access State: Open Access