Steffen Lamparter, Stefan Luckner, Sybille Mutschler. Formal Specification of Web Service Contracts for Automated Contracting and Monitoring. In 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA. pages 63, IEEE Computer Society, 2007. [doi]
@inproceedings{LamparterLM07,
title = {Formal Specification of Web Service Contracts for Automated Contracting and Monitoring},
author = {Steffen Lamparter and Stefan Luckner and Sybille Mutschler},
year = {2007},
doi = {10.1109/HICSS.2007.232},
url = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.232},
tags = {contracts, web service},
researchr = {https://researchr.org/publication/LamparterLM07},
cites = {0},
citedby = {0},
pages = {63},
booktitle = {40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA},
publisher = {IEEE Computer Society},
}