【书名】：《Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE 2006 26th IFIP WG 6.1 International Conference》
【作者】：
【出版社】：Springer-Verlag
【时间】：2006
【页数】：486
【ISBN】：3540462198
【SS码】：40366341