Model Checking Semantically Annotated Services

Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi. Model Checking Semantically Annotated Services. IEEE Trans. Software Eng., 38(3):592-608, 2012. [doi]

Abstract

Abstract is missing.