Media type: E-Article Title: Formal Methods and Software Engineering: Linking Operational Semantics and Algebraic Semantics for Wireless Networks Contributor: Wu, Xiaofeng; Zhu, Huibiao Published: Springer Berlin Heidelberg, 2013 Published in: Formal Methods and Software Engineering (2013), Seite 380-396 Language: Not determined DOI: 10.1007/978-3-642-41202-8_25 ISSN: 0302-9743; 1611-3349 Origination: Footnote: