http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Model Checking of Probabilistic Real-time Systems
Alur, R. UNIVERSITY OF BIRMINGHAM 1998 p.5-6
On the Semantic Foundations of Probabilistic VERUS
Baier, C. UNIVERSITY OF BIRMINGHAM 1998 p.7-32
Timing Analysis, Dynamical Systems and Exotic Linear Algebra
Gunawardena, J. UNIVERSITY OF BIRMINGHAM 1998 p.33-34
Infinite Probabilistic and Non-Probabilistic Testing
Narayan Kumar, K. UNIVERSITY OF BIRMINGHAM 1998 p.39-44
Reasoning about Efficiency within a Probabilistic �Calculus
McIver, A. UNIVERSITY OF BIRMINGHAM 1998 p.45-58
An Automata-Theoretic Approach to Probabilistic Verification
Vardi, M. Y. UNIVERSITY OF BIRMINGHAM 1998 p.89-90
Baier, C. UNIVERSITY OF BIRMINGHAM 1998 p.91-104