Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN:9783540729198
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
Lecture Notes in Computer Science 4166 Computer Safety
Reliability2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3688 Computer Safety
Reliability2005 年出版0 页ISBN:
Lecture Notes in Computer Science 4680 Computer Safety
Reliability2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3219 Computer Safety
Reliability2004 年出版0 页ISBN:
Lecture Notes in Computer Science 1943 Computer Safety
Reliability and Security 19th International Conference2000 年出版432 页ISBN: