Inproceedings1276: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| + | {{Publikation Erster Autor | ||
| + | |ErsterAutorNachname=Lamparter | ||
| + | |ErsterAutorVorname=Steffen | ||
| + | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=3 | |Rank=3 | ||
| Zeile 6: | Zeile 10: | ||
|Rank=2 | |Rank=2 | ||
|Author=Stefan Luckner | |Author=Stefan Luckner | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Version vom 8. September 2009, 10:17 Uhr
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring
Published: 2007
Januar
Buchtitel: Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Verlag: Computer Society Press
Referierte Veröffentlichung
BibTeX
Download: Media:2007_1276_Lamparter_Formal_Specific_1.pdf
Projekt
Forschungsgebiet