A Formal Investigation of Semantic Interoperability of HCLS Systems

A Formal Investigation of Semantic Interoperability of HCLS Systems