> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Modeling and Model Checking Web Services Beteiligte: Schlingloff, Bernd-Holger [VerfasserIn]; Schmidt, Karsten [VerfasserIn]; Martens, Axel [VerfasserIn] Erschienen: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik, 2005-03-01 Sprache: Englisch DOI: https://doi.org/10.18452/9152 ISSN: 1571-0661 Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: Not Reviewed ; other ; other Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Urheberrechtsschutz