• Medientyp: E-Artikel
  • Titel: Analysis and Verification of Service Interaction Protocols - A Brief Survey
  • Beteiligte: Salaün, Gwen
  • Erschienen: Open Publishing Association, 2010
  • Erschienen in: Electronic Proceedings in Theoretical Computer Science, 35 (2010), Seite 75-86
  • Sprache: Englisch
  • DOI: 10.4204/eptcs.35.7
  • ISSN: 2075-2180
  • Schlagwörter: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang