Skip to main content
placeholder image

Verifying semantic business process models in inter-operation

Conference Paper


Download full-text (Open Access)

Abstract


UOW Authors


Publication Date


  • 2007

Citation


  • Koliadis, G. & Ghose, A. (2007). Verifying semantic business process models in inter-operation. In L. Zhang, J. Yang & P. Hung (Eds.), IEEE International Conference on Services Computing (pp. 731-738). USA: IEEE.

Scopus Eid


  • 2-s2.0-35248877675

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=1623&context=infopapers

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/617

Start Page


  • 731

End Page


  • 738

Abstract


UOW Authors


Publication Date


  • 2007

Citation


  • Koliadis, G. & Ghose, A. (2007). Verifying semantic business process models in inter-operation. In L. Zhang, J. Yang & P. Hung (Eds.), IEEE International Conference on Services Computing (pp. 731-738). USA: IEEE.

Scopus Eid


  • 2-s2.0-35248877675

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=1623&context=infopapers

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/617

Start Page


  • 731

End Page


  • 738