Search results for: Chao Cai
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Internetware and Web-Based Systems > 264-283
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Application of Formal Methods > 338-354
2008 IEEE International Conference on Services Computing > 2 > 495 - 496