Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
Lecture Notes in Computer Science 3712 Quality of Software Architectures and Software Quality First
QoSA 2005 and Second International Workshop on Software Quality2005 年出版288 页ISBN：
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Lecture Notes in Computer Science 3053 The Semantic Web:Research and Applications First European Sem
ESWS 20042004 年出版492 页ISBN：3540219994
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Computer Science 3387 Semantic Web Services and Web Process Composition First Inter
SWSWPC 20042005 年出版147 页ISBN：3540243283
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
