【书名】：《Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference,CAV 2006,,Springer-Verlag,2006》
【作者】：
【出版社】：
【时间】：
【页数】：564
【ISBN】：354037406X
【SS码】：40366819