Home Advanced Search

Advanced Search - Page 1

Distributed Applications and Interoperable Systems: 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Daniel Romero, Gabriel Hermosillo, Amirhosein Taherkordi, Russel Nzekwa, Romain Rouvoy (auth.), Frank Eliassen, Rüdiger Kapitza (eds.)
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
  • PDF
  • English
  • Year: 2013
  • Author: Zahir Tari, Peter Bertok, Anshuman Mukherjee(auth.)