http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Brim, L.; Cerna, I.; Moravec, P.; Simsa, J. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.3-18
Distribution, Approximation and Probabilistic Model Checking
Guirado, G.; Herault, T.; Lassaigne, R.; Peyronnet, S. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.19-30
Under-approximation Heuristics for Grid-based Bounded Model Checking
Iyer, S.; Jain, J.; Sahoo, D.; Emerson, E. A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.31-46
Distributed Symbolic Bounded Property Checking
Nalla, P. K.; Weiss, R. J.; Peranandam, P.; Ruf, J.; Kropf, T.; Rosenstiel, W. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.47-63
Chung, M. Y.; Ciardo, G. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.65-80