| Publikationsart: |
Artikel |
| Autor(en): |
Bernd-Holger Schlingloff; Karsten Schmidt; Axel Martens |
| Titel: |
Modeling and Model Checking Web Services |
| Erschienen in: |
Electronic Notes in Theoretical Computer Science |
| ISSN: |
1571-0661 |
| Erstveröffentlichung: |
01.03.2005 |
| Einreichung: |
07.12.2005 |
| Veröffentlichung auf edoc: |
07.12.2005 |
| Status: |
published not_reviewed |
| Volltext: |
pdf
(urn:nbn:de:kobv:11-10054736)
|
| Fachgebiet(e): |
Informatik |
| Einrichtung: |
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik |
Metadatenexport:
Um
den gesamten Metadatensatz im Endnote- oder
Bibtex-Format zu speichern,
klicken Sie bitte auf den entsprechenden Link.
|
Endnote
Bibtex
|
print on demand:
Wenn
Sie auf dieses Icon klicken, können Sie
ein Druckexemplar dieser Publikation bestellen.
|
|
Diese Seite taggen:
Diese
Icons führen auf so genannte Social-Bookmark-Systeme, auf denen Sie
Lesezeichen anlegen, persönliche Tags vergeben und Lesezeichen anderer Nutzer
ansehen können.
|
|