Verification of Communication Protocols in Web Services, Model-Checking Service Compositions, Wiley, Kazi Sakib, Peter Bertok, Zahir Tari,Computer science,Computing and Information Technology, wireless sensor networks, self-organizing wireless sensor networks, sensor networking, sensor networks, Ad hock network, nodes, topology, topology management,, Wiley Series on Parallel and Distributed Computing, United States, en-UShttps://www.wiley.comwireless sensor networks, self-organizing wireless sensor networks, sensor networking, sensor networks, Ad hock network, nodes, topology, topology management, [BLURB],[CITY],,books, ebooks, biblet, Book2look