Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert. A Method for Formal Verification of Service Interoperability. In 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA. pages 895-900, IEEE Computer Society, 2006. [doi]
@inproceedings{PokraevQSR06,
title = {A Method for Formal Verification of Service Interoperability},
author = {Stanislav Pokraev and Dick A. C. Quartel and Maarten W. A. Steen and Manfred Reichert},
year = {2006},
doi = {10.1109/ICWS.2006.9},
url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.9},
tags = {C++},
researchr = {https://researchr.org/publication/PokraevQSR06},
cites = {0},
citedby = {0},
pages = {895-900},
booktitle = {2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2669-1},
}