Search results for: Chao Cai
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Application of Formal Methods > 338-354
Frontiers of Computer Science > 2013 > 7 > 5 > 710-728
2008 IEEE International Conference on Services Computing > 2 > 495 - 496