Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Artificial Intelligence 3554 Modeling and Using Context 5th International and Inter
2005 年出版572 页ISBN：354026924X
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN：3540344543
Lecture Notes in Computer Science 3563 Advanced Distributed Ststems 5th International School and Sym
ISSADS 20052005 年出版558 页ISBN：3540280634
Lecture Notes in Computer Science 4521 Applied Cryptography and Network Security 5th International C
ACNS 20072007 年出版498 页ISBN：9783540727378
Lecture Notes in Computer Science 3015 Passive and Active Network Measurement 5th International Work
PAM 20042004 年出版300 页ISBN：3540214925
Lecture Notes in Computer Science 3014 Software Product-Family Engineering 5th International Worksho
PFE 20032004 年出版486 页ISBN：3540219412
