Lecture Notes in Computer Science 4158 Autonomic and Trusted Computing Third International Conferenc
ATC 20062006 年出版613 页ISBN:354038619X
Lecture Notes in Computer Science 4454 Tests and Proofs First International Conference
TAP 20072007 年出版217 页ISBN:9783540737698
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164
Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN:3540232524
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN:9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN:3540462198
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X