http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
PEPA Queues: Capturing Customer Behaviour in Queueing Networks
Argent-Katwala, A.; Bradley, J. T. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.3-25
Stochastic Concurrent Constraint Programming and Differential Equations
Bortolussi, L.; Policriti, A. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.27-42
Co-Algebraic Models for Quantitative Spatial Logics
Ciancia, V.; Ferrari, G. L. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.43-58
On Probabilistic Techniques for Data Flow Analysis
Di Pierro, A.; Hankin, C.; Wiklicky, H. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.59-77
Keeping Secrets in Resource Aware Components
Chothia, T.; Pang, J.; Torabi Dashti, M. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.79-94
Exogenous Probabilistic Computation Tree Logic
Baltazar, P.; Mateus, P.; Nagarajan, R.; Papanikolaou, N. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.95-110
Bistarelli, S.; Montanari, U.; Rossi, F.; Santini, F. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.111-127
Stochastic Modelling of Communication Protocols from Source Code
Smith, M. J. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.129-145
Probabilistic p-Calculus and Event Structures
Varacca, D.; Yoshida, N. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.147-166
A Structural Approach for Modelling Performance of Systems Using Skeletons
Yaikhom, G.; Cole, M.; Gilmore, S.; Hillston, J. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.167-183