Search results for: Yongxin Zhao
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 594-608
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Section 1: Distributed Systems and Languages > 1-12