@article{746865,
      author = {Tari, Zahir. and Mukherjee, Anshuman. and Bertók,  Péter,},
      url = {http://library.usi.edu/record/746865},
      title = {Verification of communication protocols in web services  model-checking service compositions / [electronic resource]  :},
      abstract = {"Provides implementation details of each networking type  to help readers to be able to set up Sensor networks in  their related job fields"--},
      recid = {746865},
      pages = {1 online resource (272 pages) :},
}