Ke Xu, Yuexuan Wang, Cheng Wu. Formal verification technique for grid service chain model and its application. Science in China Series F: Information Sciences, 50(1):1-20, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.