George Koliadis, Aditya Ghose. Verifying Semantic Business Process Models in Inter-operation. In 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA. pages 731-738, IEEE Computer Society, 2007. [doi]
@inproceedings{KoliadisG07,
title = {Verifying Semantic Business Process Models in Inter-operation},
author = {George Koliadis and Aditya Ghose},
year = {2007},
doi = {10.1109/SCC.2007.128},
url = {http://doi.ieeecomputersociety.org/10.1109/SCC.2007.128},
tags = {business process modeling, process modeling},
researchr = {https://researchr.org/publication/KoliadisG07},
cites = {0},
citedby = {0},
pages = {731-738},
booktitle = {2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA},
publisher = {IEEE Computer Society},
}