【书名】：《Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedicated to hartmut Ehrig on the Occasion of His 60th Birthday》
【作者】：
【出版社】：Springer-Verlag
【时间】：2005
【页数】：413
【ISBN】：3540249362
【SS码】：40366825