【书名】：《Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelling and Verification Joint International Workshop,PAPM-PROBMIV 2001,,Springer-Verlag,2001》
【作者】：
【出版社】：
【时间】：
【页数】：217
【ISBN】：354042556X
【SS码】：40365738