Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements | Publicación