2009
Observational Equivalence Technique in Trusted Model.
[DOI]
Jie Yang
,
Deyu Qi
,
Yuren Zhou
,
Jinbin Zheng
Proceedings of the 2009 IITA International Conference on Services Science, 2009