【书名】：《Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference,TACAS 2005,,Spinger-Verlag,2005》
【作者】：
【出版社】：
【时间】：
【页数】：588
【ISBN】：3540253335
【SS码】：40366782