Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN:3540291318
Lecture Notes in Computer Science 3179 Articulated Motion and Deformable Objects Third International
AMDO 20042004 年出版270 页ISBN:3540229582
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4069 Articulated Motion and Deformable Objects 4th International C
AMDO 20062006 年出版526 页ISBN:354036031X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4166 Computer Safety
Reliability2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3688 Computer Safety
Reliability2005 年出版0 页ISBN: