Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Lecture Notes in Computer Science 2567 Public Key Cryptography-PKC 2003 6th International Workshop
2002 年出版365 页ISBN:354000324X
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202