Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN:3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
CONTROL ENGINEERING AND INFORMATION SYSTEMS
ZHIJING LIU2015 年出版1036 页ISBN:1138026858