Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 2193 Technologies for E-Services Second International Workshop
TES 20012001 年出版213 页ISBN:3540425659
Lecture Notes in Computer Science 4311 Technologies for Advanced Heterogeneous Networks II Second As
AINTEC 20062006 年出版255 页ISBN:9783540493648